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