Documentation: fix warning in cat-texi.perl

diff --git a/Documentation/cat-texi.perl b/Documentation/cat-texi.perl
index 87437f8a95768595e040b8c4c1d48e5c29ada087..b1fe52e8b9af7aef28501094caac50924de3af1b 100755 (executable)
--- a/Documentation/cat-texi.perl
+++ b/Documentation/cat-texi.perl
@@ -11,7 +11,7 @@
        if (s/^\@top (.*)/\@node $1,,,Top/) {
                push @menu, $1;
        }
-       s/\(\@pxref{\[(URLS|REMOTES)\]}\)//;
+       s/\(\@pxref\{\[(URLS|REMOTES)\]}\)//;
        s/\@anchor\{[^{}]*\}//g;
        print TMP;
 }