#!/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@

cd $CLASS_DIR &&
java -ss1024K -oss8192K \
 xaland 12345 12346 \
 $HELM_STYLES_DIR/rootcontent.xsl \
 $HELM_STYLES_DIR/annotatedpres.xsl \
 $HELM_STYLES_DIR/theory_content.xsl \
 $HELM_STYLES_DIR/theory_pres.xsl