#! /bin/csh -f
# Last modified on Tue Jun 18 23:43:37 PDT 1991 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 = ""
set texfntdir = `search -P".:..:../..:../../.." tex-fonts`
set texfntdir = `expandpath ${texfntdir}`
set engine = "CanonCX"
set printer = "doister"
while ( $#argv > 1 )
  if ( "X$1" == "X-numpages" ) then
    set numpages = "-n$2"
    shift; shift
  else if ( "X$1" == "X-firstpage" ) then
    set firstpage = "-p$2"
    shift; shift
  else if ( "X$1" == "X-printer" ) then
    if ( ( X$2 =~ Xap* ) | ( "X$2" == "Xroister" ) | ( "X$2" == "Xdoister" )) then
      set engine = "CanonCX"
    else
      set engine = "RicohSixK"
    endif
    set printer = "-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

setenv TEXFONTS "${texfntdir}:/proj/local/fonts/tfm"
setenv TEXPKS "${texfntdir}:/proj/local/fonts/${engine}"

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