revisiting HTMLDOC

Adam Goode <[email protected]> Wed, 1 Jun 2011 08:44:02 -0400

Newsgroups	gmane.comp.lang.ml.mlton.devel
Message-ID	<[email protected]>

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