From fd71957165d9d815b4ebeb1cd387262ac272945e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 31 Oct 2000 17:46:04 +0000 Subject: [PATCH] Minor modification --- helm/interface/cadet | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/interface/cadet b/helm/interface/cadet index f674925b3..5a63f2d01 100755 --- a/helm/interface/cadet +++ b/helm/interface/cadet @@ -11,3 +11,5 @@ export CLASSPATH=/home/cadet/sacerdot/xalan-j_1_2/xalan.jar:/home/cadet/sacerdot # Per (my)Coq 6.3.0 #export LD_LIBRARY_PATH=/home/lpadovan/helm/usr/lib/:$LD_LIBRARY_PATH export LD_LIBRARY_PATH=/usr/local/lib/gtkmathview:$LD_LIBRARY_PATH + +export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot -- 2.39.2