[MLton] A4 paper in user guide

Henry Cejtin henry@sourcelight.com
Fri, 10 Dec 2004 18:10:00 -0600

I don't disagree that the clean chroot makes it tough in general, but note
that in this case, there is a flag to dvips to force a paper size: if you
just run
	dvips -t letter ...
then you will get letter no matter what the default size is.