]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/Makefile.in
This commit was manufactured by cvs2svn to create branch 'pacchetti'.
[helm.git] / helm / xsltd / Makefile.in
diff --git a/helm/xsltd/Makefile.in b/helm/xsltd/Makefile.in
deleted file mode 100644 (file)
index 1dde997..0000000
+++ /dev/null
@@ -1,13 +0,0 @@
-HELM_LIB_DIR=@HELM_LIB_DIR@
-HELM_BIN_DIR=@HELM_BIN_DIR@
-
-install:
-       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
-
-.PHONY: install distclean