From bb79438d26c63f183fa3e21ae49457241e73e049 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Tue, 2 Feb 1999 18:57:12 +0000
Subject: This seems to fix a problem with targeting from the indexes.

---
 Doc/tools/node2label.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index a59d68e..eaf106f 100755
--- a/Doc/tools/node2label.pl
+++ b/Doc/tools/node2label.pl
@@ -41,7 +41,7 @@ while (<>) {
       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";
 	}
       }
-- 
cgit v0.12