diff options
| -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 e3d8e9faa..dbc133cd3 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; |