diff options
Diffstat (limited to 'dviware/dvgtk/etc/dv-env')
-rw-r--r-- | dviware/dvgtk/etc/dv-env | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dviware/dvgtk/etc/dv-env b/dviware/dvgtk/etc/dv-env new file mode 100644 index 0000000000..2daced5ddb --- /dev/null +++ b/dviware/dvgtk/etc/dv-env @@ -0,0 +1,25 @@ +# dv-env - 20:31 GMT +10:00 Sun 30 May 1993 - Geoffrey Tobin. +# A sample C shell script for setting environment variables for the +# dvgt 3.5 TeX previewer. + +# 1. Environment variables peculiar to dvitovdu. + +# PK font of last resort; assumed in usual font directory: +setenv DV_DUMMY_PK cmr10.300pk +# TFM metric of last resort; assumed in usual tfm directory: +setenv DV_DUMMY_TFM cmr10.tfm +# PS font prefix; Karl Berry's convention: +setenv DV_PS_PREFIX p +# Locations of help texts. +setenv DV_HELP /usr/local/lib/tex/dv/help +setenv DV_IMMED_HELP /usr/local/lib/tex/dv/immed.hlp +# Video driver. +setenv DV_TERM ncsatel + +# 2. Modify PKFONTS and TEXFONTS with care, +# because other TeX programs use them! + +# PKFONTS lists directories where PK bitmap fonts live. +setenv PKFONTS .:/usr/local/lib/tex/fonts/qume/ +# TEXFONTS lists directories where TFM metric files live. +setenv TEXFONTS .:/usr/local/lib/tex/fonts/ |