]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helm_data/Makefile.in
First files added
[helm.git] / helm / helm_data / Makefile.in
diff --git a/helm/helm_data/Makefile.in b/helm/helm_data/Makefile.in
new file mode 100644 (file)
index 0000000..73c14b0
--- /dev/null
@@ -0,0 +1,12 @@
+HELM_DTDS_DIR=@HELM_DTDS_DIR@
+HELM_STYLES_DIR=@HELM_STYLES_DIR@
+
+install:
+       mkdir -p   $(HELM_STYLES_DIR)
+       cp dtd/*   $(HELM_DTD_DIR)
+       cp style/* $(HELM_STYLES_DIR)
+
+distclean:
+       rm -f Makefile configure config.log config.cache config.status
+
+.PHONY: install distclean