This seems to fix a problem with targeting from the indexes.

This commit is contained in:
Fred Drake 1999-02-02 18:57:12 +00:00
parent 2116d983bf
commit bb79438d26
1 changed files with 1 additions and 1 deletions

View File

@ -41,7 +41,7 @@ while (<>) {
if (defined($nodes{$node})) {
$label = $nodes{$node};
if (s/(HREF|href)=\"$node([\#\"])/$1=\"$label.html$2/g) {
s/(HREF|href)=\"$label.html#(l2h-)?SECTION\d+/$1=\"$label.html/g;
s/(HREF|href)=\"$label.html#l2h-\d+/$1=\"$label.html/g;
$newnames{$node} = "$label.html";
}
}