#!/bin/csh -f

# My version of dvi to human readable transformation, using dvitype.
# This is a big lossage, since ligatures are just discarded, e.g.,
# "fl" comes out of dvitype as "setchar 13" and "fi" as "setchar 12".

set tempdvi = /tmp/dvitype.$$.$user
dviconcat -o $tempdvi $*

(echo 1; echo ''; echo ''; echo ''; echo '') | /opt/bin/dvitype $tempdvi \
  | sed -n 's+\[\(.*\)\]+\1+p'

\rm -f $tempdvi