diff Doc/tools/node2label.pl @ 10078:c3d506794967 legacy-trunk

This seems to fix a problem with targeting from the indexes.
author Fred Drake <fdrake@acm.org>
date Tue, 02 Feb 1999 18:57:12 +0000
parents 8acc72a81319
children 65731698c6ed
line wrap: on
line diff
--- a/Doc/tools/node2label.pl	Tue Feb 02 18:02:48 1999 +0000
+++ b/Doc/tools/node2label.pl	Tue Feb 02 18:57:12 1999 +0000
@@ -41,7 +41,7 @@
       if (defined($nodes{$node})) {
 	$label = $nodes{$node};
 	if (s/(HREF|href)=\"$node([\#\"])/$1=\"$label.html$2/g) {
-	  s/(HREF|href)=\"$label.html#(l2h-)?SECTION\d+/$1=\"$label.html/g;
+	  s/(HREF|href)=\"$label.html#l2h-\d+/$1=\"$label.html/g;
 	  $newnames{$node} = "$label.html";
 	}
       }