Remove a couple of unnecessary "%" characters that cause problems with
the latest latex2html beta.
1 file changed