[MLton] A4 vs. letter

[Daniel C. Wang]

BTW is there any reason not to use "pdflatex" and just generated PDF 
directly, and thus ignore the vagaries of dvips A4 default? pdflatex been 
distributed with TeTex for quite sometime, it works on cygwin and linux out 
of the box.

Stephen Weeks wrote:
>>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.