It enables a `.dvi' file to be sent to a printer through the setting of the environment variable.
The script for printing a document is the Dvi Print Script setting of the Options. For example a suitable setting might be:
/usr/local/bin/printdvi
where the contents of the file `printdvi' might be:
#! /bin/sh
dvi2ps $1 > $1.ps
lpr -Phplaser $1.ps
rm -f *.ps *.aux *.dvi *.log *.toc
lpq -Phplaser
© B-Core
(UK) Limited, Last updated: 22 Feb 2002