updated

diff --git a/doc/scripts/cleanup-autogen.pl b/doc/scripts/cleanup-autogen.pl
index d7921950b4003a51d4be275ab0db2d1d9502a69f..fdc9ecd67733697e170e0d2dc8266f54f041d2ee 100755 (executable)
--- a/doc/scripts/cleanup-autogen.pl
+++ b/doc/scripts/cleanup-autogen.pl
@@ -26,10 +26,11 @@ my $menu = 0;
 my $i = 0;
 
 while ($line = <>) {
-  if ($line =~ /\@node/) {
+  if ($line =~ /\@node (.*)/) {
     if ($init == 0) {
       $init = 1;
     } else {
+      print "\@anchor\{$1\}\n";
       next;
     }
   }