Re: [ANNOUNCE] Git 1.7.1.rc1
- From
Andreas Schwab <schwab@linux-m68k.org>
- Date
- Apr 11, 2010, 16:55 UTC
- Message-ID
- <m2pr26c4jt.fsf@igel.home>
- In-Reply-To
- <y2i51dd1af81004110908mcf6ce8cahf04225d7c261a85b@mail.gmail.com>
Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:
Show 14 quoted lines
> On Sun, Apr 11, 2010 at 04:13, Junio C Hamano <gitster@pobox.com> wrote: >> A release candidate Git 1.7.1.rc1 is available at the usual places >> for testing: > > This is a minor nit but when I generate the info docs from master I > get this at the top of user-manual.texi: > > @menu > * : id2860714. > * Repositories and Branches:: > * Exploring git history:: > * Developing with git:: > > I can't find what produces that token but here are all occurrences of it:
That appears to be because the first title is empty:
$ head -n 9 user-manual.xml <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN" "http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd">
<book lang="en">
<bookinfo>
<title>Git User’s Manual (for version 1.5.3 or newer)</title>
</bookinfo>
<preface>
<title></title>Andreas.
-- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different."