#!/bin/bash --noprofile
# displays a dvifile from stdinput with xdvi
#            (c) Hans-Peter-Stoerr (www.stoerr.net) Jan 2004
#$Id: dviless,v 1.1 2004/01/08 09:01:59 stoerr Exp $
temp=`mktemp /tmp/dviless.XXXXXX`
cat > $temp
(trap "wipe -f $temp >& /dev/null; rm -f $temp" EXIT; xdvi $temp)&