]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/cadet
Requires and Provides now fixed
[helm.git] / helm / interface / cadet
1 #! /bin/sh
2
3 # Per (my)Coq 6.3.0
4 export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
5
6 # WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
7
8 #V6.2
9 #export HELM_CONFIGURATION_PREFIX=~/HELM/installation
10
11 #V7
12 export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot
13
14 export T1LIB_CONFIG=./t1.config
15
16 # Stix font
17 xset fp
18 xset fp+ ~/HELM/installation/fonts/
19 xset fp rehash