helm/xsltd/start-xaland.in

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