[MLton] SML documentation tool(s)

[Vesa Karvonen]

Quoting Andreas Rossberg <rossberg@ps.uni-sb.de>:
> Vesa Karvonen wrote:
[...]
> I agree with you that having documentation and source together is 
> preferable in most cases. However, wouldn't the easiest way to achieve 
> that (and the most flexible) be an auxiliary tool that just extracts the 
> documentation from the sources and generates input appropriate for 
> ML-Doc?

Yes, generating ML-Doc SGML is an option and it might be viable to just
improve mkdoc.

> (Preferably using a more ergonomic input syntax than XMLish RSI acceleration
> crap.)

I agree.