]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d1da07a)
Nothing yet pages added to fix broken links.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Feb 2002 19:00:23 +0000 (19:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Feb 2002 19:00:23 +0000 (19:00 +0000)
helm/mowgli/home/html/Makefile patch | blob | history
helm/mowgli/home/html/publications/mowgli/.cvsignore [new file with mode: 0644] patch | blob
helm/mowgli/home/templates/menu.html patch | blob | history
helm/mowgli/home/templates/nothing_yet.html [new file with mode: 0644] patch | blob
helm/mowgli/home/templates/nothing_yet2.html [new file with mode: 0644] patch | blob

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 243319d94065b389c2249127e294a12f68ed3962..6f93e4415c3e222df79844547375ddcdb2301551 100644 (file)
--- 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 "<html><body bgcolor=\"white\"><h1>Nothing yet!</h1></body></html>" > $@
-
 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 (file)
index 0000000..dcaf716
--- /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 99b9fe2529a669b21ac6d4e40a990b765ce69f79..98caba63c0790551b829fb53d565b6bf64397b5a 100644 (file)
--- a/helm/mowgli/home/templates/menu.html
+++ b/helm/mowgli/home/templates/menu.html
@@ -26,9 +26,10 @@
       <tr><td><a class="menulink" target="content" href="work-packages/index.html">Work Packages</a></td></tr>
       <tr><td><a class="menulink" target="content" href="events.html">Events</a></td></tr>
       <tr><td><a class="menulink" target="content" href="news.html">News Archive</a></td></tr>
-      <tr><td><a class="menulink" target="content" href="">Members Area</a></td></tr>
+      <tr><td><a class="menulink" target="content" href="members">Members Area</a></td></tr>
       <tr><td><a class="menulink" target="content" href="publications/mowgli">Publications</a></td></tr>
-      <tr><td><a class="menulink" target="content" href="">Software</a> (<a class="menulink" href="">CVS</a>)</td></tr>
+      <!-- Next links are there just to retrieve a "Nothing Yet" page -->
+      <tr><td><a class="menulink" target="content" href="publications/mowgli">Software</a> (<a class="menulink" target="content" href="publications/mowgli">CVS</a>)</td></tr>
       </table>
     </td>
   </tr>
diff --git a/helm/mowgli/home/templates/nothing_yet.html b/helm/mowgli/home/templates/nothing_yet.html
new file mode 100644 (file)
index 0000000..32f2dc8
--- /dev/null
+++ b/helm/mowgli/home/templates/nothing_yet.html
@@ -0,0 +1,58 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
+ "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+  <head>
+    <title>Dummy Page</title>
+    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+    <link rel="stylesheet" href="../../style/mowgli.css" type="text/css"/>
+  </head>
+
+  <body class="content">
+  <br />
+  <table border="0" cellspacing="0" cellpadding="0" width="100%">
+    <tr>
+      <td align="left" valign="bottom">
+        <div class="small">
+          <a href="../home.html">MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces</a>
+       </div>
+      </td>
+      <td align="right" valign="bottom">
+        <div class="small">
+          <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo Small" src="../../images/istbutton_small.gif"/></a>
+        </div>
+      </td>
+    </tr>
+  </table>
+  <hr/>
+
+  <table height="30%" width="100%">
+   <tr>
+    <td><h1 style="text-align: center">Nothing yet!</h1></td>
+   </tr>
+  </table>
+
+  <hr/>
+  <table border="0" cellspacing="0" cellpadding="0" width="100%">
+    <tr>
+      <td align="left" valign="top">
+        <div class="small">
+          This page is hosted by the
+          <a href="http:/www.cs.unibo.it">Department of Computer Science</a>,
+          <a href="http://www.unibo.it">University of Bologna</a>.
+         <br />
+         Last updated <b><xsl:value-of select="$current-date"/></b>.
+        </div>
+      </td>
+      <td align="right" valign="top">
+        <div class="small">
+          <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo Small" src="../../images/istbutton_small.gif"/></a>
+        </div>
+      </td>
+    </tr>
+  </table>
+  <br />
+  </body>
+
+</html>
diff --git a/helm/mowgli/home/templates/nothing_yet2.html b/helm/mowgli/home/templates/nothing_yet2.html
new file mode 100644 (file)
index 0000000..19daa85
--- /dev/null
+++ b/helm/mowgli/home/templates/nothing_yet2.html
@@ -0,0 +1,58 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
+ "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
+
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+  <head>
+    <title>Dummy Page</title>
+    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+    <link rel="stylesheet" href="../../../style/mowgli.css" type="text/css"/>
+  </head>
+
+  <body class="content">
+  <br />
+  <table border="0" cellspacing="0" cellpadding="0" width="100%">
+    <tr>
+      <td align="left" valign="bottom">
+        <div class="small">
+          <a href="../../home.html">MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces</a>
+       </div>
+      </td>
+      <td align="right" valign="bottom">
+        <div class="small">
+          <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo Small" src="../../../images/istbutton_small.gif"/></a>
+        </div>
+      </td>
+    </tr>
+  </table>
+  <hr/>
+
+  <table height="30%" width="100%">
+   <tr>
+    <td><h1 style="text-align: center">Nothing yet!</h1></td>
+   </tr>
+  </table>
+
+  <hr/>
+  <table border="0" cellspacing="0" cellpadding="0" width="100%">
+    <tr>
+      <td align="left" valign="top">
+        <div class="small">
+          This page is hosted by the
+          <a href="http:/www.cs.unibo.it">Department of Computer Science</a>,
+          <a href="http://www.unibo.it">University of Bologna</a>.
+         <br />
+         Last updated <b><xsl:value-of select="$current-date"/></b>.
+        </div>
+      </td>
+      <td align="right" valign="top">
+        <div class="small">
+          <a href="http://www.cordis.lu/ist"><img border="0" alt="IST Logo Small" src="../../../images/istbutton_small.gif"/></a>
+        </div>
+      </td>
+    </tr>
+  </table>
+  <br />
+  </body>
+
+</html>
Unnamed repository; edit this file 'description' to name the repository.