]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/Makefile.in
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / xsltd / Makefile.in
diff --git a/helm/xsltd/Makefile.in b/helm/xsltd/Makefile.in
deleted file mode 100644 (file)
index 1d43f9c..0000000
+++ /dev/null
@@ -1,16 +0,0 @@
-
-BIN_DIR=@BIN_DIR@
-HELM_LIB_DIR=@HELM_LIB_DIR@
-
-all:
-
-install:
-       cp start-xaland $(BIN_DIR)
-       cp xaland.class $(HELM_LIB_DIR)
-
-distclean:
-       rm -f Makefile configure config.log config.cache config.status \
-        etc/configuration.xml etc/helm-math-engine-configuration.xml \
-        lib/configuration.pl *.spec start-xaland
-
-.PHONY: all install distclean