X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fxsltd%2Fstart-xaland.in;h=687e09bf8a771600014e58288f0fefd867612a0f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c1d2e63b03fbd1e12035b6bc4a62a7187bbbb61b;hpb=7795f00bdb9888a6e958e7794e67d6535e37fed9;p=helm.git

diff --git a/helm/xsltd/start-xaland.in b/helm/xsltd/start-xaland.in
index c1d2e63b0..687e09bf8 100755
--- a/helm/xsltd/start-xaland.in
+++ b/helm/xsltd/start-xaland.in
@@ -44,12 +44,12 @@ export CLASSPATH2=/projects/helm/shared/libraries/java/xalan_1_1/xerces.jar
 
 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