diff options
author | Junio C Hamano <gitster@pobox.com> | 2008-06-12 14:21:05 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-06-12 14:21:05 -0700 |
commit | 5ada3696f6a7c99028ec0f95c629def747373aef (patch) | |
tree | 1bbe809dfba366095a01dc69a3da7a40687a3c51 | |
parent | Documentation/git-pull.txt: Use more standard [NOTE] markup (diff) | |
download | tgif-5ada3696f6a7c99028ec0f95c629def747373aef.tar.xz |
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>
-rwxr-xr-x | Documentation/cat-texi.perl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/cat-texi.perl b/Documentation/cat-texi.perl index e3d8e9faa8..dbc133cd3c 100755 --- a/Documentation/cat-texi.perl +++ b/Documentation/cat-texi.perl @@ -11,7 +11,7 @@ while (<STDIN>) { if (s/^\@top (.*)/\@node $1,,,Top/) { push @menu, $1; } - s/\(\@pxref{\[URLS\]}\)//; + s/\(\@pxref{\[(URLS|REMOTES)\]}\)//; print TMP; } close TMP; |