[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