[MLton-user] PDF version of guide

Henry Cejtin henry.cejtin@sbcglobal.net
Fri, 28 Oct 2005 16:44:23 -0500


It looks like the hyphenation file it wants is the zcat'd version of
	/usr/share/doc/html2ps/examples/hyphen.tex.gz
If you zcat it and put it some where and then edit /etc/html2psrc so that
the reference is changed to where ever you put it, then you don't get any
complaints about it missing.  (It looks like some assumption in the Debian
package install.)