]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
The Work-Packages index page is no more a static HTML page, but it is
[helm.git] / helm / mowgli / home / html / Makefile
index 0537f51d121153310e20cd3675e40be4d813f92c..7314f083575d3dc078a1dcb57d9ee9bb1b135bb9 100644 (file)
@@ -104,8 +104,9 @@ publications/%.html: $(XMLROOT)/publications/%.xml \
               $(XSLROOT)/publication.xsl
        xsltproc -o $@ $(XSLROOT)/publication.xsl $<
 
-work-packages/index.html: $(TEMPLATESROOT)/work-packages/index.html
-       cp $< $@
+work-packages/index.html: $(XMLROOT)/work-packages/index.xml \
+                          $(XSLROOT)/work-packages_index.xsl
+       xsltproc -o $@ $(XSLROOT)/work-packages_index.xsl $<
        
 work-packages/%.html: $(XMLROOT)/work-packages/%.xml \
               $(XSLROOT)/work-package.xsl