mlton-20001004

Stephen Weeks MLton@sourcelight.com
Thu, 5 Oct 2000 11:32:52 -0700 (PDT)


> In the latest binary RPM, in /usr/doc/mlton-20001004/HTML, the files index.html
> and main.html are identical, but not hard (or soft) links.  This should be
> fixed.

Yeah.  I'm pretty sure index.html can just go.  latex2html generates all its
internal links to main.html and I updated the MLton home page to do the same.