3 ##########################################################################
4 # BEGIN OF THE PART TO CONFIGURE BEFORE USING THE SCRIPT #
5 ##########################################################################
7 # In the next line you have to set the path to the jdk1.3
8 export PATH=/opt/java/jdk1.3/bin/:$PATH
10 # In the next line you have to give the classpath to the 1.1 version of
12 export CLASSPATH1=/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar
14 # In the next line you have to give the classpath to the 1.1 version of
16 export CLASSPATH2=/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar
18 ##########################################################################
19 # END OF THE PART TO CONFIGURE #
20 ##########################################################################
22 export CLASSPATH=$CLASSPATH1:$CLASSPATH2:$CLASSPATH:.
23 export CLASS_DIR=@HELM_LIB_DIR@
24 export HELM_STYLES_DIR=@HELM_STYLES_DIR@
27 java -ss1024K -oss8192K \
29 $HELM_STYLES_DIR/rootcontent.xsl \
30 $HELM_STYLES_DIR/annotatedpres.xsl \
31 $HELM_STYLES_DIR/theory_content.xsl \
32 $HELM_STYLES_DIR/theory_pres.xsl