#!/bin/bash
#
# Convert from dvi format to a format suitable for
# sending to a HP Laserjet Series II.
#
# Karl O. Pinc
#
# September 6, 1995
#
cat >(dvips -r -q -f) | \
gs -sDEVICE=laserjet -sOutputFile=- -dNOPAUSE -q -dSAFER -

