[MLton] A4 vs. letter

Henry Cejtin henry@sourcelight.com
Wed, 15 Dec 2004 10:02:52 -0600

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?  That way people who have properly
set up their dvips to use Letter (sorry for the US bias, or A4) will get
the right page size.