From: Fred Drake Date: Thu, 26 Feb 1998 18:49:58 +0000 (+0000) Subject: Adjusted to work with the newer version of LaTeX2HTML as well. X-Git-Tag: v1.5.1~563 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e817930a7be680e8007543f0b75afce6dc338338;p=python Adjusted to work with the newer version of LaTeX2HTML as well. --- diff --git a/Doc/node2label.pl b/Doc/node2label.pl index 1d643dbb49..73a3809a1d 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 1d643dbb49..73a3809a1d 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