#! /bin/csh -f
# Last modified on Wed Oct  3  0:29:40 PDT 1990 by stolfi
#==================================================
# Usage: 
#  show-dvi <dvi file>
# Calls "Proof" on <dvi file> with the right font directory.
#==================================================

set texfntdir = `search -P".:..:../..:../../.." tex-fonts`
set texfntdir = `expandpath ${texfntdir}`
set engine = "CanonCX"

if ( ! $?TEXPKS ) then
  setenv TEXFONTS "${texfntdir}:/proj/local/fonts/tfm"
  setenv TEXPKS "${texfntdir}:/proj/local/fonts/${engine}"
endif

Proof $*