#  Device Independent Output file				(nuspl)
#  $Id: dvi,v 5.1 2012/08/30 16:17:25 ksb Exp $

$Clean(*):	${rm-rm} -i %F.ps

$Info(*):	${echo-echo} "%f:  Device Independent Output file"

$Laser(*):	${lpr-lpr} -d -P${LASER-${PRINTER-%s}} %f
$Laser(*):	${lpr-lpr} -d %f

$Display(*):	: 'on $DISPLAY'\n\t${xdvi-xdvi} %f

$Ps(*):		${dvi2ps-dvi2ps} %s %f >%F.ps
$Ps(*):		${dvi2ps-dvi2ps} %f >%F.ps

$*(*):		${echo-echo} "%f: %m(%s) is ambiguous for a DVI file"
$*(*):		${echo-echo} "%f: %m is ambiguous for a DVI file"