Work around a small (& annoying) limitation of the latex2html support for
\seemodule.  This is far easier than figuring out the real problem, but it
works.
2 files changed