[MLton] PDF docs patch

Stephen Weeks sweeks at sweeks.com
Wed Nov 15 10:08:18 PST 2006


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

Whoops.  I was on a machine without tetex-bin, and for some reason
apt-file was out of date and didn't show pdflatex.  After doing
apt-file udpate I found it.

I will apply Adam's patch.



More information about the MLton mailing list