#!/bin/sh
#
# $ Id: dvi2tty-filter,v 1.1 1998/10/03 11:03:43 roland Exp roland $
#
# (c) 1997 Roland Rosenfeld <roland@spinnaker.de>
#
# Read a DVI-file from stdin and output ASCII
#

TMPFILE=/tmp/dvi2tty.$$.dvi
trap "rm -f $TMPFILE; exit" 0 1 2 15

cat > $TMPFILE

dvi2tty $* $TMPFILE