[MLton] wiki -> documentation

Matthew Fluet fluet@cs.cornell.edu
Tue, 6 Sep 2005 16:25:13 -0400 (EDT)


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

Yes, it was the globe image before links.  I suppose we could have our own 
different image (like the "ML" icon for mlton.org), but something to 
denote going out to the web.

In any case, the globe is fine.