templates/menu.html moved to xml/menu.xml

[helm.git] / helm / mowgli / home / html / Makefile

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 8d91bb72683d831009b14157b0ef9a5dff604922..8a2193638045caaf833799069859d53fbe389545 100644 (file)
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -147,6 +147,9 @@ home.html: $(XMLROOT)/home.xml \
        $(XSLTP) --param make_header "false()" --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $(XMLROOT)/home.xml
 
 ifeq ($(FRAMES),yes)
+menu.html: $(XMLROOT)/menu.xml
+       cp $< $@
+
 index.html: $(TEMPLATESROOT)/index.html
        cp $< $@
 else
@@ -168,9 +171,6 @@ software/index.html: $(XMLROOT)/software/index.xml \
                     $(XHTMLCONTENT)
        $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
 
-menu.html: $(TEMPLATESROOT)/menu.html
-       cp $< $@
-
 project-management.html: $(XMLROOT)/project-management.xml \
                          $(XHTMLCONTENT)
        sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -