helm/xsltd/start-xaland.in

   1 #!/bin/bash
   2
   3 export CLASS_DIR=.
   4 export HELM_STYLES_DIR=/usr/local/share/helm/style
   5 export PATH=/opt/java/jdk1.3/bin/:$PATH
   6 export CLASSPATH=.
   7 export CLASSPATH=/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar:$CLASSPATH
   8 export CLASSPATH=/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar:$CLASSPATH
   9
  10 cd $CLASS_DIR &&
  11 java -ss1024K -oss8192K \
  12  xaland 12345 12346 \
  13  $HELM_STYLES_DIR/rootcontent.xsl \
  14  $HELM_STYLES_DIR/annotatedpres.xsl \
  15  $HELM_STYLES_DIR/theory_content.xsl \
  16  $HELM_STYLES_DIR/theory_pres.xsl