]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
- removed date from menu (useful?)
[helm.git] / helm / mowgli / home / html / Makefile
index b1ded5bc2f8ab030f6325c311da8eeab041b8eeb..6bd1ae73d9a89da06a68aca0ea2ab5c12f8aff17 100644 (file)
@@ -130,7 +130,8 @@ home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \
        $(XSLTP) $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml >>$@
 #      cat $(TEMPLATESROOT)/home.html.mid >>$@
 #      $(XSLTP) $(XSLROOT)/sort-events-by-beginning.xsl $(XMLROOT)/other-events.xml | $(XSLTP) $(XSLROOT)/approaching-deadlines.xsl - >>$@
-       cat $(TEMPLATESROOT)/home.html.bot >>$@
+#      cat $(TEMPLATESROOT)/home.html.bot >>$@
+       sed s/\@DATE\@/"`date`"/ $(TEMPLATESROOT)/home.html.bot >>$@
 
 index.html: $(TEMPLATESROOT)/index.html
        cp $< $@