#!/bin/csh -f 
#-------- dvips a .dvi file and produce .ps
#--------  uses: dvips
#-------- usage: dvi file (NO .dvi)
#
set fn = $1
echo " "
if( "$1" == "" ) then
  echo -n " ---> dvi file ---> Enter a file (w/out .dvi): "
  set fn = &<
endif

dvips -f < "$fn".dvi > "$fn".ps
sleep 1

echo -n " ... done ... Remove *.aux *.log ? "
/bin/rm -i "$fn".aux "$fn".log

### replaces 
# alias dvi  'dvips -f < \!*".dvi" > \!^".ps" '