[MLton] revisiting HTMLDOC

Adam Goode adam at spicenitz.org
Wed Jun 1 05:44:02 PDT 2011


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



More information about the MLton mailing list