From e817930a7be680e8007543f0b75afce6dc338338 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Thu, 26 Feb 1998 18:49:58 +0000
Subject: Adjusted to work with the newer version of LaTeX2HTML as well.

---
 Doc/node2label.pl       | 5 ++++-
 Doc/tools/node2label.pl | 5 ++++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/Doc/node2label.pl b/Doc/node2label.pl
index 1d643db..73a3809 100755
--- a/Doc/node2label.pl
+++ b/Doc/node2label.pl
@@ -4,9 +4,12 @@
 require "labels.pl";
 
 %nodes = ();
+my $key;
 # sort so that we get a consistent assignment for nodes with multiple labels 
 foreach $label (sort keys %external_labels) {
-  $nodes{$external_labels{$label}} = $label;
+  $key = $external_labels{$label};
+  $key =~ s|^/||;
+  $nodes{$key} = $label;
 }
 
 # collect labels that have been used
diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index 1d643db..73a3809 100755
--- a/Doc/tools/node2label.pl
+++ b/Doc/tools/node2label.pl
@@ -4,9 +4,12 @@
 require "labels.pl";
 
 %nodes = ();
+my $key;
 # sort so that we get a consistent assignment for nodes with multiple labels 
 foreach $label (sort keys %external_labels) {
-  $nodes{$external_labels{$label}} = $label;
+  $key = $external_labels{$label};
+  $key =~ s|^/||;
+  $nodes{$key} = $label;
 }
 
 # collect labels that have been used
-- 
cgit v0.12

