From: Claudio Sacerdoti Coen Date: Tue, 19 Feb 2002 15:53:11 +0000 (+0000) Subject: Broken links fixed somehow. X-Git-Tag: V_0_3_0_debian_8~298 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=33d36569adeda8bbe9dab0d98f78c4c35846bd95;p=helm.git Broken links fixed somehow. No more useful files (i.e. Nothing-yet files) removed. --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 0758a9240..0cdc0faae 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -1,6 +1,6 @@ -#DESTDIR = /projects/mowgli/public_html -DESTDIR = /tmp/mowgli +DESTDIR = /projects/mowgli/public_html +#DESTDIR = /tmp/mowgli XSLTP = xsltproc --param current-date "'`date`'" TEMPLATESROOT = ../templates @@ -93,7 +93,6 @@ DOCUMENTS = \ sites/nijmegen.html \ sites/trusted-logic.html \ publications/index.html \ - publications/mowgli/index.html \ publications/others/category_al.html \ publications/others/crimea2001_apss.html \ publications/others/cup_s.html \ @@ -147,9 +146,6 @@ software/index.html: $(XMLROOT)/software/index.xml \ $(XSLROOT)/xhtml-content.xsl $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl $< -publications/mowgli/index.html: $(TEMPLATESROOT)/nothing_yet2.html - cp $< $@ - menu.html: $(TEMPLATESROOT)/menu.html sed s/\@DATE\@/"`date`"/ $< >$@ diff --git a/helm/mowgli/home/html/publications/mowgli/.cvsignore b/helm/mowgli/home/html/publications/mowgli/.cvsignore index dcaf71693..e69de29bb 100644 --- a/helm/mowgli/home/html/publications/mowgli/.cvsignore +++ b/helm/mowgli/home/html/publications/mowgli/.cvsignore @@ -1 +0,0 @@ -index.html diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html index ff76559a8..455c2142a 100644 --- a/helm/mowgli/home/templates/menu.html +++ b/helm/mowgli/home/templates/menu.html @@ -28,8 +28,7 @@ News Archive Members Area Publications - - Software (CVS) + Software (CVS) @@ -43,7 +42,7 @@ MathML OpenMath OMDoc - Bibliography + Bibliography diff --git a/helm/mowgli/home/templates/nothing_yet.html b/helm/mowgli/home/templates/nothing_yet.html deleted file mode 100644 index 32f2dc858..000000000 --- a/helm/mowgli/home/templates/nothing_yet.html +++ /dev/null @@ -1,58 +0,0 @@ - - - - - - Dummy Page - - - - - -
- - - - - -
-
- MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces -
- 		-
- IST Logo Small -
-
-
- - - - - -

Nothing yet!

- -
- - - - - -
-
- This page is hosted by the - Department of Computer Science, - University of Bologna. -
- Last updated . -
- 		-
- IST Logo Small -
-
-
- - - diff --git a/helm/mowgli/home/templates/nothing_yet2.html b/helm/mowgli/home/templates/nothing_yet2.html deleted file mode 100644 index 19daa8526..000000000 --- a/helm/mowgli/home/templates/nothing_yet2.html +++ /dev/null @@ -1,58 +0,0 @@ - - - - - - Dummy Page - - - - - -
- - - - - -
-
- MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces -
- 		-
- IST Logo Small -
-
-
- - - - - -

Nothing yet!

- -
- - - - - -
-
- This page is hosted by the - Department of Computer Science, - University of Bologna. -
- Last updated . -
- 		-
- IST Logo Small -
-
-
- - - diff --git a/helm/mowgli/home/xsl/publications-index.xsl b/helm/mowgli/home/xsl/publications-index.xsl index 4132b59d3..1bca09a51 100644 --- a/helm/mowgli/home/xsl/publications-index.xsl +++ b/helm/mowgli/home/xsl/publications-index.xsl @@ -22,6 +22,7 @@

About MoWGLI

Related Publications

+