[MLton] revisiting HTMLDOC

[Adam Goode]

Hi,

It has been a while since I looked at things, but I wonder if it is
possible to remove MLton's doc dependency on HTMLDOC. HTMLDOC is
fairly buggy and is a lot of work to maintain as a dependency to MLton
in Fedora.

My understanding is that we build a PDF version of the MoinMoin pages
using HTMLDOC. Perhaps there is a better way now?

(And yes, I have only myself to blame for this.
http://mlton.org/pipermail/mlton/2005-November/028267.html )



Adam