commit | a00754468fc9be47636a3fb06f6f14f4ecbf9095 | [log] [tgz] |
---|---|---|
author | Fred Drake <fdrake@acm.org> | Thu Apr 29 19:06:56 1999 +0000 |
committer | Fred Drake <fdrake@acm.org> | Thu Apr 29 19:06:56 1999 +0000 |
tree | 3d374c66139db14dfc84d4eef79662393b845887 | |
parent | 50c507e4b4d082323fefd393604f43f0cbe8871b [diff] |
make_nav_panel(): Remove the spurious NAME="tex2html\d+" attributes added to the anchors in the navigation bars. These are added somewhere deep with l2h, and are stupid.