[MLton-user] PDF version of guide

[Stephen Weeks]

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

Thanks, that worked.  I zcat'd the file into

  /usr/share/texmf/tex/generic/hyphen/ushyph1.tex

so I didn't have to edit html2psrc.