[MLton] wiki -> documentation
Matthew Fluet
fluet@cs.cornell.edu
Tue, 6 Sep 2005 07:46:04 -0400 (EDT)
> I added a script (bin/grab-wiki), based on one Vesa sent a while back,
> that downloads the wiki into a self-contained set of documentation
> intended to be shipped with MLton packages. I put the output of a
> recent run in the svn in doc/guide. Please check it out and make
> suggestions for improvement.
Would it be worth adding the 'class = "external"' attribute to wiki-links
that point back to mlton.org? I'm thinking of Download. There are also
all of the "ViewSVN" links.