#!/bin/csh
set A=$TEXFONTS
setenv TEXFONTS .:$A
set A=$TEXPKS
setenv TEXPKS .:$A
set A=$XDVIFONTS
setenv XDVIFONTS .:$A
alias xdvi 'xdvi -p 300 -s 3'