export CLASSPATH=$CLASSPATH1:$CLASSPATH2:$CLASSPATH:.
export CLASS_DIR=@HELM_LIB_DIR@
-export HELM_STYLES_DIR=@HELM_STYLES_DIR@
+export HELM_STYLE_DIR=@HELM_STYLE_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
+ $HELM_STYLE_DIR/rootcontent.xsl \
+ $HELM_STYLE_DIR/annotatedpres.xsl \
+ $HELM_STYLE_DIR/theory_content.xsl \
+ $HELM_STYLE_DIR/theory_pres.xsl