X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fxsltd%2Fstart-xaland.in;fp=helm%2Fxsltd%2Fstart-xaland.in;h=36aacaa2a6f1ba700a0f21b48bdceacee2c530b1;hb=509d9241294357cc86e76d1da45766d19158d368;hp=2cad68d74ce04cd704e8a48c812adf86c2b49d1b;hpb=e780b3da94da62ec08eb6f812d46868b8228e2f0;p=helm.git

diff --git a/helm/xsltd/start-xaland.in b/helm/xsltd/start-xaland.in
index 2cad68d74..36aacaa2a 100755
--- a/helm/xsltd/start-xaland.in
+++ b/helm/xsltd/start-xaland.in
@@ -1,11 +1,27 @@
 #!/bin/bash
 
+##########################################################################
+#        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@
-export PATH=/opt/java/jdk1.3/bin/:$PATH
-export CLASSPATH=.
-export CLASSPATH=/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar:$CLASSPATH
-export CLASSPATH=/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar:$CLASSPATH
 
 cd $CLASS_DIR &&
 java -ss1024K -oss8192K \