diff options
author | Fred Drake <fdrake@acm.org> | 1998-02-26 18:49:58 (GMT) |
---|---|---|
committer | Fred Drake <fdrake@acm.org> | 1998-02-26 18:49:58 (GMT) |
commit | e817930a7be680e8007543f0b75afce6dc338338 (patch) | |
tree | 6b2746bdca02289b911f557e197efb25b56bfd48 /Doc | |
parent | 3da06a69b9440a61a3d7db8259decd36e3245fc8 (diff) | |
download | cpython-e817930a7be680e8007543f0b75afce6dc338338.zip cpython-e817930a7be680e8007543f0b75afce6dc338338.tar.gz cpython-e817930a7be680e8007543f0b75afce6dc338338.tar.bz2 |
Adjusted to work with the newer version of LaTeX2HTML as well.
Diffstat (limited to 'Doc')
-rwxr-xr-x | Doc/node2label.pl | 5 | ||||
-rwxr-xr-x | 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 |