]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
Some clean-up (unuseful sed removed from Makefile).
[helm.git] / helm / mowgli / home / html / Makefile
index 8fc0e0b8adca641e513924dea2561a55faa8d97d..df78f8dfa4461e9d1aab2daac248b921a755c8c4 100644 (file)
@@ -147,7 +147,7 @@ software/index.html: $(XMLROOT)/software/index.xml \
        $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl $<
 
 menu.html: $(TEMPLATESROOT)/menu.html
-       sed s/\@DATE\@/"`date`"/ $< >$@
+       cp $< $@
 
 project-management.html: $(XMLROOT)/project-management.xml \
        $(XSLROOT)/xhtml-content.xsl