From: Ævar Arnfjörð Bjarmason Date: Sun, 11 Apr 2010 17:14:30 GMT Subject: Re: [ANNOUNCE] Git 1.7.1.rc1 Message-ID: In-Reply-To: On Sun, Apr 11, 2010 at 16:55, Andreas Schwab wrote: > Ævar Arnfjörð Bjarmason writes: > >> On Sun, Apr 11, 2010 at 04:13, Junio C Hamano 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 > > > > > >    Git User’s Manual (for version 1.5.3 or newer) > > > The original error is going to be in user-manual.txt. That's where I couldn't track down the error. The XML and TexInfo files are automatically generated from the .txt source.