searchEngine ported to Helm_registry.

[helm.git] / helm / scripts / template.cshrc

diff --git a/helm/scripts/template.cshrc b/helm/scripts/template.cshrc
index 71cafdd7e3498f255493b053d3de33999c0e93a0..3274a77257e08d11fb218f4ebfbb812063f253de 100644 (file)
--- a/helm/scripts/template.cshrc
+++ b/helm/scripts/template.cshrc
@@ -28,8 +28,6 @@ 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
-setenv SEARCH_ENGINE_PORT 58085
-setenv SEARCH_ENGINE_HTML_DIR /projects/helm/daemon/searchEngine/html
 
 echo HELM_CONFIGURATION_DIR=$HELM_CONFIGURATION_DIR
 echo HELM_LIB_DIR=$HELM_LIB_DIR