From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 17 Feb 2004 17:50:40 +0000 (+0000)
Subject: Other stuff no longer used removed.
X-Git-Tag: v0_0_4~166
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4b44a78aa345edfc569817176baa856c5522a87a;p=helm.git

Other stuff no longer used removed.
---

diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc
index fd8be1f17..320dbcd5c 100644
--- a/helm/scripts/template.cshrc
+++ b/helm/scripts/template.cshrc
@@ -19,10 +19,6 @@ else
 	endif
 endif
 
-setenv PATH $HELMROOT/http_getter:$PATH
-setenv PATH $HELMROOT/$COQV/interface:$PATH
-setenv PATH $HELMROOT/shared/scripts:$PATH
-
 setenv MATHENGINECONF $HELMROOT/$COQV/$WHERE/local/etc/helm/helm-math-engine-configuration.xml
 
 umask 002
diff --git a/helm/scripts/template.rc b/helm/scripts/template.rc
index 4f62dcedd..ea104625a 100644
--- a/helm/scripts/template.rc
+++ b/helm/scripts/template.rc
@@ -19,10 +19,6 @@ else
 	fi
 fi
 
-export PATH=$HELMROOT/http_getter:$PATH
-export PATH=$HELMROOT/$COQV/interface:$PATH
-export PATH=$HELMROOT/shared/scripts:$PATH
-
 export MATHENGINECONF=$HELMROOT/$COQV/$WHERE/local/etc/helm/helm-math-engine-configuration.xml
 
 umask 002