BTW: "make check" invokes "dvipsk ... -o". What is "-o" without a filename
supposed to mean??
It outputs to the base input name + .ps.
dvips foo -o
is the same as
dvips foo -o foo.ps
I don't think I've ever seen another program support this particular
syntax, but I admit I use it all the time ... anything to save
keystrokes :).
k