X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fxsltd%2FMakefile.old;h=a56803cc5c16ab24bbf674659849d4d54ab81c1a;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=bd50ad7cc1fbee7971a4318bfddc09725d206086;hpb=16b7d7d156446f21d0b7f014b78360d14a085033;p=helm.git

diff --git a/helm/xsltd/Makefile.old b/helm/xsltd/Makefile.old
index bd50ad7cc..a56803cc5 100644
--- a/helm/xsltd/Makefile.old
+++ b/helm/xsltd/Makefile.old
@@ -1,3 +1,6 @@
+JAVADIR = /opt/java/jdk1.3/bin
+HELM_STYLES_DIR = file:/home/lpadovan/miohelm/style
+
 start-xaland:
 	java -ss1024K -oss8192K \
            xaland 12345 12346 \
@@ -30,7 +33,7 @@ start-xaland-old:
          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_pres.xsl
 
 start-xaland-uwobo:
-	java -ss1024K -oss8192K \
+	$(JAVADIR)/java -ss1024K -oss8192K \
            xaland_uwobo 12345 12346 12347 \
            $(HELM_STYLES_DIR)/rootcontent.xsl \
            $(HELM_STYLES_DIR)/annotatedpres.xsl \