Reverting some of the index stuff to work with LaTeX2HTML better.
1 file changed