Re: revisiting HTMLDOC
Steve Sims <[email protected]> Wed, 1 Jun 2011 14:09:28 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.devel |
|---|---|
| Message-ID | <[email protected]> |
On Wed, Jun 1, 2011 at 11:16 AM, Matthew Fluet <[email protected]>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: [email protected] Phone: (+1) 919-324-3507 ext 101 Web: http://www.reactive-systems.com/ _______________________________________________ MLton mailing list [email protected] http://mlton.org/mailman/listinfo/mlton