Code

Fix the building of gitman.info document
authorTeemu Likonen <tlikonen@iki.fi>
Mon, 29 Dec 2008 08:03:09 +0000 (10:03 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 29 Dec 2008 08:40:10 +0000 (00:40 -0800)
commit9c6c304d6a01b72d7ce20722b80ca62e01fe8356
tree4afcf9a56e11ccfb4d308b130f4a06fc360e2691
parent8b30ad01b421213113c64a1d3e46dcd8791d88df
Fix the building of gitman.info document

"makeinfo" failed to generate gitman.info from gitman.texi input file
because the combined manual page file contains several nodes with the
same name (DESCRIPTION, OPTIONS, SEE ALSO etc.). An Info document should
contain unique node names.

This patch creates a simple (read: ugly) work-around by suppressing the
validation of the final Info file. Jumping to nodes in the Info document
still works but they are not very useful. Common man-page headings like
DESCRIPTION and OPTIONS appear in the Info node list and they point to
the man page where they appear first (that is git-add currently).

Also, this patch adds directory-entry information for Info document to
make the document appear in the top-level Info directory.

Signed-off-by: Teemu Likonen <tlikonen@iki.fi>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/Makefile
Documentation/cat-texi.perl