tree 3d374c66139db14dfc84d4eef79662393b845887
parent 50c507e4b4d082323fefd393604f43f0cbe8871b
author Fred Drake <fdrake@acm.org> 925412816 +0000
committer Fred Drake <fdrake@acm.org> 925412816 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4013306

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.