#! /bin/csh -f
# Last modified on Tue Nov 21 13:50:47 PST 1989 by stolfi
#==================================================
# Usage: 
#  dvi-to-ps [-f <first page>] [-t <last page>] 
#    [-figdir <figdir>] <dvi file>
# Converts the <dvi file> to postscript. Assumes any files
#   to be included are in the directory <figdir>, and that
#   "make foo" in that directory will make all files included by
#   foo.dvi.
#==================================================

set firstpage = ""
set numpages = ""
set figdir = ""
while ( $#argv > 1 )
  if ( "X$1" == "X-n" ) then
    set numpages = "-n $2"
    shift; shift
  else if ( "X$1" == "X-p" ) then
    set firstpage = "-p $2"
    shift; shift
  else if ( "X$1" == "X-figdir" ) then
    set figdir = "$2"
    shift; shift
  else
    break
  endif
end

if ( $#argv < 1  ) then
  echo "Missing argument"
  exit(1)
endif

foreach f ( $* )
  set f = $f:r
  if ( ( "X$figdir" != "X" )) then
    (cd $figdir ; parmake $f )
  endif
  dvips -o $f.ps $firstpage $numpages $f.dvi &&\
end