From: Claudio Sacerdoti Coen Date: Mon, 18 Feb 2002 19:00:23 +0000 (+0000) Subject: Nothing yet pages added to fix broken links. X-Git-Tag: V_0_3_0_debian_8~303 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f882f75140898a46bafbeea3520a587cc0dc0767;p=helm.git Nothing yet pages added to fix broken links. --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 243319d94..6f93e4415 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -90,6 +90,7 @@ DOCUMENTS = \ sites/inria.html \ sites/nijmegen.html \ sites/trusted-logic.html \ + publications/mowgli/index.html \ publications/others/category_al.html \ publications/others/crimea2001_apss.html \ publications/others/cup_s.html \ @@ -132,6 +133,12 @@ home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \ index.html: $(TEMPLATESROOT)/index.html cp $< $@ +members/index.html: $(TEMPLATESROOT)/nothing_yet.html + cp $< $@ + +publications/mowgli/index.html: $(TEMPLATESROOT)/nothing_yet2.html + cp $< $@ + menu.html: $(TEMPLATESROOT)/menu.html sed s/\@DATE\@/"`date`"/ $< >$@ @@ -206,9 +213,6 @@ work-packages/%.html: $(XMLROOT)/work-packages/%.xml \ $(XSLROOT)/work-package.xsl $(XSLTP) -o $@ $(XSLROOT)/work-package.xsl $< -members/index.html: - echo "

Nothing yet!

" > $@ - clean: rm -f $(DOCUMENTS) .PHONY: clean diff --git a/helm/mowgli/home/html/publications/mowgli/.cvsignore b/helm/mowgli/home/html/publications/mowgli/.cvsignore new file mode 100644 index 000000000..dcaf71693 --- /dev/null +++ b/helm/mowgli/home/html/publications/mowgli/.cvsignore @@ -0,0 +1 @@ +index.html diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html index 99b9fe252..98caba63c 100644 --- a/helm/mowgli/home/templates/menu.html +++ b/helm/mowgli/home/templates/menu.html @@ -26,9 +26,10 @@ Work Packages Events News Archive - Members Area + Members Area Publications - Software (CVS) + + Software (CVS) diff --git a/helm/mowgli/home/templates/nothing_yet.html b/helm/mowgli/home/templates/nothing_yet.html new file mode 100644 index 000000000..32f2dc858 --- /dev/null +++ b/helm/mowgli/home/templates/nothing_yet.html @@ -0,0 +1,58 @@ + + + + + + Dummy Page + + + + + +
+ + + + + +

+ MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces +

+ + + + + +

Nothing yet!

+ +

+ + + + + +

+ This page is hosted by the + Department of Computer Science, + University of Bologna. +
+ Last updated . +

+
+ + + diff --git a/helm/mowgli/home/templates/nothing_yet2.html b/helm/mowgli/home/templates/nothing_yet2.html new file mode 100644 index 000000000..19daa8526 --- /dev/null +++ b/helm/mowgli/home/templates/nothing_yet2.html @@ -0,0 +1,58 @@ + + + + + + Dummy Page + + + + + +
+ + + + + +

+ MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces +

+ + + + + +

Nothing yet!

+ +

+ + + + + +

+ This page is hosted by the + Department of Computer Science, + University of Bologna. +
+ Last updated . +

+
+ + +