[MLton] revisiting HTMLDOC

[Steve Sims]

On Wed, Jun 1, 2011 at 11:16 AM, Matthew Fluet <matthew.fluet at gmail.com>wrote:

> That said, a migration of mlton.org content will probably necessitate
> a change in documentation tools, so perhaps we should be on the
> lookout for something that natively could generate both HTML and PDF.


We have had pretty good luck generating both HTML and PDF from Latex
sources.   For the HTML we use Hevea (http://hevea.inria.fr/).  You can see
what the output looks like in our product documentation available here
http://www.reactive-systems.com/support.msp.

Steve

-- 
Steve Sims
Chief Executive Officer - Reactive Systems, Inc.
Email: sims at reactive-systems.com
Phone: (+1) 919-324-3507 ext 101
Web: http://www.reactive-systems.com/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton/attachments/20110601/a10a6113/attachment.htm