MoWGLI Menu

From: Claudio Sacerdoti Coen Date: Tue, 26 Feb 2002 15:25:09 +0000 (+0000) Subject: templates/menu.html moved to xml/menu.xml X-Git-Tag: V_0_3_0_debian_8~267 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=dd6df514e8240ceb5372d05da3694b9a05ac2fe9;p=helm.git templates/menu.html moved to xml/menu.xml (it is processed when no frames are used) --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 8d91bb726..8a2193638 100644 --- 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) - diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html deleted file mode 100644 index c9949d405..000000000 --- a/helm/mowgli/home/templates/menu.html +++ /dev/null @@ -1,102 +0,0 @@ - - - - - - MoWGLI Menu - - - - - - - - -

- - - - - - - - - - - - - - - - - - - - - -

Project

- - - - - - - - - - - -

Software (CVS)

- - - - - - -

Contact

- - - - - - - - - - - - - -

Project Leader:

Prof. Andrea Asperti

Webmaster:

mowgli-webmaster@cs.unibo.it

- - - - diff --git a/helm/mowgli/home/xml/menu.xml b/helm/mowgli/home/xml/menu.xml new file mode 100644 index 000000000..152e6c3fb --- /dev/null +++ b/helm/mowgli/home/xml/menu.xml @@ -0,0 +1,105 @@ + + + + + + + MoWGLI Menu + + + + + + + + +

+ + + + + + + + + + + + + + + + + + + + + +