setenv PATH $HELMROOT/$COQV/interface:$PATH
setenv PATH $HELMROOT/shared/scripts:$PATH
-setenv HELM_CONFIGURATION_DIR $HELMROOT/$COQV/$WHERE/local/etc/helm
-setenv HELM_STYLE_DIR $HELMROOT/$COQV/style
-setenv HELM_LIB_DIR $HELMROOT/$COQV/$WHERE/local/lib/helm
-setenv HELM_ANNOTATIONS_DIR pippo
-setenv HELM_ANNOTATIONS_URL pippo
-
-echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR
-echo HELM_LIB_DIR=$HELM_LIB_DIR
-echo HELM_STYLE_DIR=$HELM_STYLE_DIR
-
setenv MATHENGINECONF $HELMROOT/$COQV/$WHERE/local/etc/helm/helm-math-engine-configuration.xml
umask 002
export PATH=$HELMROOT/$COQV/interface:$PATH
export PATH=$HELMROOT/shared/scripts:$PATH
-export HELM_CONFIGURATION_DIR=$HELMROOT/$COQV/$WHERE/local/etc/helm
-export HELM_STYLE_DIR=$HELMROOT/$COQV/style
-export HELM_LIB_DIR=$HELMROOT/$COQV/$WHERE/local/lib/helm
-export HELM_ANNOTATIONS_DIR=pippo
-export HELM_ANNOTATIONS_URL=pippo
-
-echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR
-echo HELM_LIB_DIR=$HELM_LIB_DIR
-echo HELM_STYLE_DIR=$HELM_STYLE_DIR
-
export MATHENGINECONF=$HELMROOT/$COQV/$WHERE/local/etc/helm/helm-math-engine-configuration.xml
umask 002