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