Give the pattern used to pick out a source anchor a more specific pattern.

diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index 69f396a2ad8d18074a3561fdca2a5ec8b1793c25..90f0c18933a5e4e0ce829a6741064f727c7e13e9 100755 (executable)
--- a/Doc/tools/node2label.pl
+++ b/Doc/tools/node2label.pl
@@ -39,7 +39,7 @@ foreach $label (keys %internal_labels) {
 while (<>) {
   # don't want to do one s/// per line per node
   # so look for lines with hrefs, then do s/// on nodes present
-  if (/(HREF|href)=[\"\']([^\#\"\']*)html[\#\"\']/) {
+  if (/(HREF|href)=[\"\']node\d+\.html[\#\"\']/) {
     @parts = split(/(HREF|href)\=[\"\']/);
     shift @parts;
     for $node (@parts) {