Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Documentation: Strip texinfo anchors to avoid duplicates | Martin von Gagern | 2013-04-03 | 1 | -0/+1 |
| | | | | | | | This keeps texinfo 5.x happy. See https://bugs.gentoo.org/464210. Signed-off-by: Martin von Gagern <Martin.vGagern@gmx.net> Signed-off-by: Junio C Hamano <gitster@pobox.com> | ||||
* | Fix the building of gitman.info document | Teemu Likonen | 2008-12-29 | 1 | -2/+6 |
| | | | | | | | | | | | | | | | | | | | "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: exclude @pxref{[REMOTES]} from texinfo intermediate output | Junio C Hamano | 2008-06-12 | 1 | -1/+1 |
| | | | | | | | | | We already had a hack to exclude @pxref{[URLS]} from the texi stream that refers to nonexistent anchor. This allows "make info" to produce gitman.info again. Signed-off-by: Junio C Hamano <gitster@pobox.com> | ||||
* | Documentation: add gitman.info target | Junio C Hamano | 2007-12-10 | 1 | -0/+38 |
Signed-off-by: Junio C Hamano <gitster@pobox.com> |