#!/bin/bash
#
# Convert from dvi format to a format suitable for
# sending to a HP Laserjet III.
#
# Karl O. Pinc
#
# April 1, 1995
#
cat <(dvips -q -f) | \
gs -sDEVICE=ljet3 -sOutputFile=- -dNOPAUSE -q -dSAFER -

