diff options
| author | Fred Drake <fdrake@acm.org> | 1999-02-10 17:08:00 (GMT) |
|---|---|---|
| committer | Fred Drake <fdrake@acm.org> | 1999-02-10 17:08:00 (GMT) |
| commit | ec5c0b41aed97d0109cfcf55837c18d473a07d91 (patch) | |
| tree | f41988f07cd8f6e6e174bb5825573dca51d5e676 | |
| parent | 00f7da4f1eded9d44335d699766b3c401175ca41 (diff) | |
| download | cpython-ec5c0b41aed97d0109cfcf55837c18d473a07d91.zip cpython-ec5c0b41aed97d0109cfcf55837c18d473a07d91.tar.gz cpython-ec5c0b41aed97d0109cfcf55837c18d473a07d91.tar.bz2 | |
Revert previous change; there's a better way to do it.
| -rwxr-xr-x | Doc/tools/node2label.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl index eaf106f..a59d68e 100755 --- a/Doc/tools/node2label.pl +++ b/Doc/tools/node2label.pl @@ -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"; } } |