Revert previous change; there's a better way to do it.

This commit is contained in:
Fred Drake 1999-02-10 17:08:00 +00:00
parent 00f7da4f1e
commit ec5c0b41ae
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-\d+/$1=\"$label.html/g;
s/(HREF|href)=\"$label.html#(l2h-)?SECTION\d+/$1=\"$label.html/g;
$newnames{$node} = "$label.html";
}
}