X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fxsltd%2Fstart-xaland.in;h=36aacaa2a6f1ba700a0f21b48bdceacee2c530b1;hb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;hp=062e181e5f2b91dc2f7621f57b0227d35acf7a93;hpb=b11b04010e38e8faacfe3bca32bcd28cb899eb39;p=helm.git

diff --git a/helm/xsltd/start-xaland.in b/helm/xsltd/start-xaland.in
index 062e181e5..36aacaa2a 100755
--- a/helm/xsltd/start-xaland.in
+++ b/helm/xsltd/start-xaland.in
@@ -1,11 +1,29 @@
 #!/bin/bash
 
-export HELM_STYLES_DIR=/usr/local/share/helm/style
-export PATH=$PATH:/opt/java/jdk1.3/bin/
-export CLASSPATH=.
-export CLASSPATH=$CLASSPATH:/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar
-export CLASSPATH=$CLASSPATH:/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar
+##########################################################################
+#        BEGIN OF THE PART TO CONFIGURE BEFORE USING THE SCRIPT          #
+##########################################################################
 
+# In the next line you have to set the path to the jdk1.3
+export PATH=/opt/java/jdk1.3/bin/:$PATH
+
+# In the next line you have to give the classpath to the 1.1 version of
+# xalan.jar
+export CLASSPATH1=/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar
+
+# In the next line you have to give the classpath to the 1.1 version of
+# xerces.jar
+export CLASSPATH2=/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar
+
+##########################################################################
+#                   END OF THE PART TO CONFIGURE                         #
+##########################################################################
+
+export CLASSPATH=$CLASSPATH1:$CLASSPATH2:$CLASSPATH:.
+export CLASS_DIR=@HELM_LIB_DIR@
+export HELM_STYLES_DIR=@HELM_STYLES_DIR@
+
+cd $CLASS_DIR &&
 java -ss1024K -oss8192K \
  xaland 12345 12346 \
  $HELM_STYLES_DIR/rootcontent.xsl \