+++ /dev/null
-#!/bin/bash
-
-export HELM_STYLES_DIR=/usr/local/share/helm/style
-export PATH=$PATH:/opt/java/jdk1.3/bin/
-export CLASSPATH=.
-export CLASSPATH=$CLASSPATH:/projects/helm/shared/libraries/java/xalan_1_1/xalan.jar
-export CLASSPATH=$CLASSPATH:/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar
-
-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