]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/Makefile
daemons tamed
[helm.git] / helm / searchEngine / html / Makefile
diff --git a/helm/searchEngine/html/Makefile b/helm/searchEngine/html/Makefile
deleted file mode 100644 (file)
index 03a653f..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-INC_STYLESHEET = includes.xsl
-TARGETS = moogle.html moogle_chat.html
-all: $(TARGETS)
-clean:
-       rm -f $(TARGETS)
-%.html: %.html.src *.src
-       xsltproc $(INC_STYLESHEET) $< > $@