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 87437f8a95..b1fe52e8b9 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|REMOTES)\]}\)//; + s/\(\@pxref\{\[(URLS|REMOTES)\]}\)//; s/\@anchor\{[^{}]*\}//g; print TMP; } |