]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/Makefile
generate HTML templates using XSLT starting from a bunch of .src files
[helm.git] / helm / searchEngine / html / Makefile
diff --git a/helm/searchEngine/html/Makefile b/helm/searchEngine/html/Makefile
new file mode 100644 (file)
index 0000000..03a653f
--- /dev/null
@@ -0,0 +1,7 @@
+INC_STYLESHEET = includes.xsl
+TARGETS = moogle.html moogle_chat.html
+all: $(TARGETS)
+clean:
+       rm -f $(TARGETS)
+%.html: %.html.src *.src
+       xsltproc $(INC_STYLESHEET) $< > $@