]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
Links between the versions with and without frames.
[helm.git] / helm / mowgli / home / html / Makefile
index 1455b47d930ed1ad933d4d803cf26de5c6fbe3bc..0b8f513f5f6bcdb54e8bc02d4c158a921846549e 100644 (file)
@@ -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 $< $@