]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/Makefile.in
ocaml 3.09 transition
[helm.git] / helm / xsltd / Makefile.in
index 1dde997e77df5f40c9eb6f73a24b26a817f82402..1d43f9c189c9a0210676aef3001c5a0beff8deac 100644 (file)
@@ -1,13 +1,16 @@
+
+BIN_DIR=@BIN_DIR@
 HELM_LIB_DIR=@HELM_LIB_DIR@
-HELM_BIN_DIR=@HELM_BIN_DIR@
+
+all:
 
 install:
+       cp start-xaland $(BIN_DIR)
        cp xaland.class $(HELM_LIB_DIR)
-       cp start-xaland $(HELM_BIN_DIR)
 
 distclean:
        rm -f Makefile configure config.log config.cache config.status \
         etc/configuration.xml etc/helm-math-engine-configuration.xml \
-        lib/configuration.pl
+        lib/configuration.pl *.spec start-xaland
 
-.PHONY: install distclean
+.PHONY: all install distclean