]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
- main page now generated automatically
[helm.git] / helm / mowgli / home / html / Makefile
index 4ce83516ed66d6ebda211c7f6245e1a76f5ab9d2..30c581c4d9f875c32572e4b2c57398ee08ab5030 100644 (file)
@@ -1,10 +1,16 @@
+
+#DESTDIR = /projects/mowgli/public_html
+DESTDIR = /tmp/mowgli
+
 TEMPLATESROOT = ../templates
 XMLROOT = ../xml
 XSLROOT = ../xsl
+
 DOCUMENTS = \
             index.html \
             home.html \
            menu.html \
+            project-management.html \
             consortium.html \
             project.html \
            news.html \
@@ -100,8 +106,12 @@ DOCUMENTS = \
 
 all: $(DOCUMENTS)
 
-home.html: $(TEMPLATESROOT)/home.html
-       cp $< $@
+home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \
+          $(XMLROOT)/news.xml \
+          $(XSLROOT)/latest-news.xsl
+       cat $(TEMPLATESROOT)/home.html.top >$@
+       xsltproc $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml >>$@
+       cat $(TEMPLATESROOT)/home.html.bot >>$@
 
 index.html: $(TEMPLATESROOT)/index.html
        cp $< $@
@@ -109,6 +119,9 @@ index.html: $(TEMPLATESROOT)/index.html
 menu.html: $(TEMPLATESROOT)/menu.html
        sed s/\@DATE\@/"`date`"/ $< >$@
 
+project-management.html: $(TEMPLATESROOT)/project-management.html
+       cp $< $@
+
 consortium.html: $(XMLROOT)/consortium.xml \
                  $(XSLROOT)/consortium.xsl
        xsltproc -o $@ $(XSLROOT)/consortium.xsl $<
@@ -149,5 +162,24 @@ 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
+$(XSLROOT)/latest-news.xsl : $(XSLROOT)/news.xsl
+$(DOCUMENTS) : $(XSLROOT)/common.xsl