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/printdviwhere 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