[MLton] wiki -> documentation

Stephen Weeks MLton@mlton.org
Tue, 6 Sep 2005 12:37:19 -0700


> 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.

>From looking at the CSS, I don't see that "external" does anything.
But perhaps the desired effect is to get the little globe before links
to mlton.org.  I tweaked grab-wiki to do that, and committed a new
src/doc/guide.