... filename.dvi.
1
If this does not work, try
dvips -Pprintername filename.dvi
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Yishay Mansour
1999-10-24