summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLibravatar Junio C Hamano <gitster@pobox.com>2008-06-12 14:21:05 -0700
committerLibravatar Junio C Hamano <gitster@pobox.com>2008-06-12 14:21:05 -0700
commit5ada3696f6a7c99028ec0f95c629def747373aef (patch)
tree1bbe809dfba366095a01dc69a3da7a40687a3c51
parentDocumentation/git-pull.txt: Use more standard [NOTE] markup (diff)
downloadtgif-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-xDocumentation/cat-texi.perl2
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;