X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fhtml%2FMakefile;fp=helm%2Fmowgli%2Fhome%2Fhtml%2FMakefile;h=0b8f513f5f6bcdb54e8bc02d4c158a921846549e;hb=15e953c4d3c695b28c88d966c57634edd23ecbba;hp=1455b47d930ed1ad933d4d803cf26de5c6fbe3bc;hpb=cdef749ec7b56afaee14c77abbc157797b9705ed;p=helm.git

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 1455b47d9..0b8f513f5 100644
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -161,8 +161,8 @@ home.html: $(XMLROOT)/home.xml \
 	$(XSLTP) --param today `date +%Y%m%d` -o approaching-deadlines.xml $(XSLROOT)/approaching-deadlines.xsl $(XMLROOT)/other-events.xml
 	$(XSLTP) --param make_header "false()" --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $(XMLROOT)/home.xml
 
-menu.html: $(XMLROOT)/menu.xml
-	cp $< $@
+menu.html: $(XMLROOT)/menu.xml $(XHTMLCONTENT)
+	$(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" --param make_header "false()" --param make_footer "false()" -o $@ $(XHTMLCONTENT) $<
 
 index.html: $(TEMPLATESROOT)/index.html
 	cp $< $@