Re: [PATCH 0/3] git-help -i (info): finishing touches

From: Junio C Hamano <gitster@pobox.com>
Date: Dec 10, 2007, 10:06 UTC
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.