if [ "$#" != "1" ]
then
	echo "usage: $0 file.dvi"
	exit 1
fi
dvips -nodialog -OPT $NEWSHOME/lib/dvips.opt -FNT $NEWSHOME/lib/dvips.fnt -PRO $NEWSHOME/lib/dvips.pro -dvi $1 -ps - | psmung | psview -a4

