[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