[MLton] A4 paper in user guide

Stephen Weeks MLton@mlton.org
Fri, 10 Dec 2004 16:16:53 -0800

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

Good point.  Although changing our Makefiles to include that seems a
bit annoying for people who want A4 and have their config setup to use