[MLton] A4 vs. letter

Stephen Weeks MLton@mlton.org
Wed, 15 Dec 2004 08:35:51 -0800

> I was thinking about it a bit more, and isn't the right way to do to
> have the dvips be run in the postinstall script?

In theory.  But it's probably not be worth the effort of dealing with
<n> different packaging systems (plus, on some platforms we just have
a tgz).  If we still have dvi files in the future, it would probably
be easier to just put them on the web site.