]> matita.cs.unibo.it Git - helm.git/blob - helm/xsltd/Makefile.old
Makefile moved in Makefile.old and start-xaland created.
[helm.git] / helm / xsltd / Makefile.old
1 start-xaland:
2         java -ss1024K -oss8192K \
3            xaland 12345 12346 \
4            $(HELM_STYLES_DIR)/rootcontent.xsl \
5            $(HELM_STYLES_DIR)/annotatedpres.xsl \
6            $(HELM_STYLES_DIR)/theory_content.xsl \
7            $(HELM_STYLES_DIR)/theory_pres.xsl
8
9 start-xaland-DOM:
10         java -ss1024K -oss8192K \
11            xaland_DOM 12345 12346 \
12            $(HELM_STYLES_DIR)/rootcontent.xsl \
13            $(HELM_STYLES_DIR)/annotatedpres.xsl \
14            $(HELM_STYLES_DIR)/theory_content.xsl \
15            $(HELM_STYLES_DIR)/theory_pres.xsl
16
17 start-xaland-2:
18         java -ss1024K -oss8192K \
19            xaland2 12345 12346 \
20            $(HELM_STYLES_DIR)/rootcontent.xsl \
21            $(HELM_STYLES_DIR)/annotatedpres.xsl \
22            $(HELM_STYLES_DIR)/theory_content.xsl \
23            $(HELM_STYLES_DIR)/theory_pres.xsl
24
25 start-xaland-old:
26         java xaland 12345 12346 \
27          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/rootcontent.xsl \
28          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
29          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_content.xsl \
30          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_pres.xsl
31
32 start-xaland-uwobo:
33         java -ss1024K -oss8192K \
34            xaland_uwobo 12345 12346 12347 \
35            $(HELM_STYLES_DIR)/rootcontent.xsl \
36            $(HELM_STYLES_DIR)/annotatedpres.xsl \
37            $(HELM_STYLES_DIR)/theory_content.xsl \
38            $(HELM_STYLES_DIR)/theory_pres.xsl
39
40 start-xaland3:
41         java xaland 12347 12348 \
42            $(HELM_STYLES_DIR)/rootcontent.xsl \
43            $(HELM_STYLES_DIR)/annotatedpres.xsl \
44            $(HELM_STYLES_DIR)/theory_content.xsl \
45            $(HELM_STYLES_DIR)/theory_pres.xsl