From 5ada3696f6a7c99028ec0f95c629def747373aef Mon Sep 17 00:00:00 2001 From: Junio C Hamano Date: Thu, 12 Jun 2008 14:21:05 -0700 Subject: [PATCH] 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 --- Documentation/cat-texi.perl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/cat-texi.perl b/Documentation/cat-texi.perl index e3d8e9faa..dbc133cd3 100755 --- a/Documentation/cat-texi.perl +++ b/Documentation/cat-texi.perl @@ -11,7 +11,7 @@ while () { if (s/^\@top (.*)/\@node $1,,,Top/) { push @menu, $1; } - s/\(\@pxref{\[URLS\]}\)//; + s/\(\@pxref{\[(URLS|REMOTES)\]}\)//; print TMP; } close TMP; -- 2.30.2