[MLton] wiki User Guide

Stephen Weeks MLton@mlton.org
Tue, 2 Nov 2004 19:56:43 -0800

I made a first pass at wikifying the MLton User Guide.


Feel free to start making corrections.

I was quite happy with the ease of the process and with the
flexibility of the wiki markup language.  I also found going to the
wiki helped to break the document into more manageable chunks for web

My thinking for building the User Guide snapshot for a release and for
making a printable version is to write a simple tool (probably in
Python) as part of the wiki that can take a table-of-contents-like
page (like UserGuide) and generate a single html page including all of
the directly linked-to pages, all with nice section numbering and
cross referencing.  It doesn't sound hard -- we'll see what happens
when I start.  If anyone knows of such a tool that already exists,
please send mail.