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