Junio C Hamano <gitster@xxxxxxxxx> 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. - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html