development/git
development/git
1
0
Fork 0
mirror of https://github.com/git/git synced 2024-10-31 08:44:08 +00:00
Code Issues Projects Releases Packages Wiki Activity
15451 commits 6 branches 956 tags 487 MiB
Commit graph

2 commits

Author SHA1 Message Date
Junio C Hamano
5ada3696f6 Documentation: exclude @pxref{[REMOTES]} from texinfo intermediate output 
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>
 2008-06-12 14:21:05 -07:00
Junio C Hamano
5cefc33bff Documentation: add gitman.info target 
Signed-off-by: Junio C Hamano <gitster@pobox.com>
 2007-12-10 01:36:13 -08:00