]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
* Some documents were not valid
[helm.git] / helm / mowgli / home / html / Makefile
index 6dcdd8b86851b095742731cf7e224dfc757e2fd4..9edc5d52bf3bdf7949938c5c464cf192fee3cb21 100644 (file)
@@ -174,8 +174,9 @@ software/index.html: $(XMLROOT)/software/index.xml \
        $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
 
 proposal/project-management.html: $(XMLROOT)/proposal/project-management.xml \
-                         $(XHTMLCONTENT)
-       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+                  $(XHTMLCONTENT) \
+                  $(XSLROOT)/management.xsl
+       $(XSLTP) $(XSLROOT)/management.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
 proposal/project-summary.html: $(XMLROOT)/proposal/project-summary.xml \
                      $(XHTMLCONTENT)