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 69f396a..90f0c18 100755
--- a/Doc/tools/node2label.pl
+++ b/Doc/tools/node2label.pl
@@ -39,7 +39,7 @@
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) {