Revert the index stuff to work better with LaTeX2HTML.
6 files changed