]> 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 4c48dbbd51d6a527cb2cbb63f74f031a76877b40..30c581c4d9f875c32572e4b2c57398ee08ab5030 100644 (file)
@@ -1,5 +1,6 @@
 
-DESTDIR = /projects/mowgli/public_html
+#DESTDIR = /projects/mowgli/public_html
+DESTDIR = /tmp/mowgli
 
 TEMPLATESROOT = ../templates
 XMLROOT = ../xml
@@ -105,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 $< $@
@@ -175,5 +180,6 @@ uninstall:
        rm -rf $(DESTDIR)/*
 
 $(XSLROOT)/%.xsl : $(XSLROOT)/common.xsl
+$(XSLROOT)/latest-news.xsl : $(XSLROOT)/news.xsl
 $(DOCUMENTS) : $(XSLROOT)/common.xsl