From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 10 Dec 2007 10:06:51 GMT
Subject: Re: [PATCH 0/3] git-help -i (info): finishing touches
Message-ID: <7v8x42n9s4.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <1197279969-10613-1-git-send-email-gitster@pobox.com>

Junio C Hamano <gitster@pobox.com> writes:

> This series attempts to add finishing touches to "git help -i" (info)
> support.

Side note.  The patches I sent out are queued for 'next', and I'll push
it out shortly.  I am hoping, after this series graduates to 'master',
to be able to tag v1.5.4-rc0 and declare 'master' as feature complete
for now, and see everybody move to bugfix-only mode.

Currently, the man pages are sorted in $(wildcard) order in the main
menu, but I think:

 * make git(7) the first node after Top;

 * order the commands in the main @menu to follow the command-list.txt
   categorization, and show Porcelains and then Plumbings, just like
   git(7) does;

would make the organization better, but I did not do that tonight.  I'd
leave that as an exercise to interested readers.

I also briefly considered rolling the manual pages into git.info which
is built from the user manual, but I decided against it for now.  I
think the current organization of the user manual is good as a
standalone document, and making the manual set as its appendix is
possible but not necessary.  I can be persuaded differently, though.