]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
- install/uninstall targets added
[helm.git] / helm / mowgli / home / html / Makefile
index 55c50220e375b7516242f6df2c6cdbeefe64442c..03f9be93d48c5a4c483baebe94b01dd0be631ae1 100644 (file)
@@ -1,6 +1,10 @@
+
+DESTDIR = /tmp/public_html
+
 TEMPLATESROOT = ../templates
 XMLROOT = ../xml
 XSLROOT = ../xsl
+
 DOCUMENTS = \
             index.html \
             home.html \
@@ -153,5 +157,22 @@ clean:
        rm -f $(DOCUMENTS)
 .PHONY: clean
 
+install: $(DOCUMENTS)
+       mkdir -p $(DESTDIR)/html
+       for i in $(dir $(DOCUMENTS)); do \
+               mkdir -p $(DESTDIR)/html/$$i; \
+       done
+       for i in $(DOCUMENTS); do \
+               cp $$i $(DESTDIR)/html/$$i; \
+       done
+       mkdir -p $(DESTDIR)/images
+       cp ../images/*.* $(DESTDIR)/images
+       mkdir -p $(DESTDIR)/style
+       cp ../style/*.css $(DESTDIR)/style
+       sed s/menu\\.html/html\\/menu\\.html/ <index.html | sed s/home\\.html/html\\/home\\.html/ >$(DESTDIR)/index.html
+
+uninstall:
+       rm -rf $(DESTDIR)/*
+
 $(XSLROOT)/%.xsl : $(XSLROOT)/common.xsl