Improve compatibility with more versions of LaTeX2HTML and more LaTeX
markup.  Not currently needed, but easier to save this now than to
have to figure it out when we do.
1 file changed