[MLton] PDF docs patch

Henry Cejtin henry.cejtin at sbcglobal.net
Wed Nov 15 09:14:48 PST 2006


pdflatex is (at least in Debian stable) part of tetex-bin, which I would have
thought that you would have had.



More information about the MLton mailing list