Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit e817930

Browse files
freddrakefreddrake
committed
Adjusted to work with the newer version of LaTeX2HTML as well.
1 parent 3da06a6 commit e817930

2 files changed

Lines changed: 8 additions & 2 deletions

File tree

‎Doc/node2label.pl‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,9 +4,12 @@
44
require "labels.pl";
55

66
%nodes = ();
7+
my $key;
78
# sort so that we get a consistent assignment for nodes with multiple labels
89
foreach $label (sort keys %external_labels) {
9-
$nodes{$external_labels{$label}} = $label;
10+
$key = $external_labels{$label};
11+
$key =~ s|^/||;
12+
$nodes{$key} = $label;
1013
}
1114

1215
# collect labels that have been used

‎Doc/tools/node2label.pl‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,9 +4,12 @@
44
require "labels.pl";
55

66
%nodes = ();
7+
my $key;
78
# sort so that we get a consistent assignment for nodes with multiple labels
89
foreach $label (sort keys %external_labels) {
9-
$nodes{$external_labels{$label}} = $label;
10+
$key = $external_labels{$label};
11+
$key =~ s|^/||;
12+
$nodes{$key} = $label;
1013
}
1114

1215
# collect labels that have been used

0 commit comments

Comments
 (0)