<br>On Wed, Jun 1, 2011 at 11:16 AM, Matthew Fluet <span dir="ltr"><<a href="mailto:matthew.fluet@gmail.com">matthew.fluet@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
That said, a migration of <a href="http://mlton.org" target="_blank">mlton.org</a> content will probably necessitate<br>
a change in documentation tools, so perhaps we should be on the<br>
lookout for something that natively could generate both HTML and PDF.</blockquote><div><br></div><div>We have had pretty good luck generating both HTML and PDF from Latex sources. For the HTML we use Hevea (<a href="http://hevea.inria.fr/">http://hevea.inria.fr/</a>). You can see what the output looks like in our product documentation available here <a href="http://www.reactive-systems.com/support.msp">http://www.reactive-systems.com/support.msp</a>.</div>
<div><br></div><div>Steve</div></div><br>-- <br>Steve Sims<br>Chief Executive Officer - Reactive Systems, Inc.<br>Email: <a href="mailto:sims@reactive-systems.com">sims@reactive-systems.com</a><br>Phone: (+1) 919-324-3507 ext 101 <br>
Web: <a href="http://www.reactive-systems.com/">http://www.reactive-systems.com/</a><br><br><br>