]> 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: 412fc89)
Broken links fixed somehow.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Feb 2002 15:53:11 +0000 (15:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Feb 2002 15:53:11 +0000 (15:53 +0000)
No more useful files (i.e. Nothing-yet files) removed.

helm/mowgli/home/html/Makefile patch | blob | history
helm/mowgli/home/html/publications/mowgli/.cvsignore patch | blob | history
helm/mowgli/home/templates/menu.html patch | blob | history
helm/mowgli/home/templates/nothing_yet.html [deleted file] patch | blob | history
helm/mowgli/home/templates/nothing_yet2.html [deleted file] patch | blob | history
helm/mowgli/home/xsl/publications-index.xsl patch | blob | history

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 0758a9240ac62c1db0241148073bee4e05284a56..0cdc0faae7ad6bd2de303780f926c59485b54568 100644 (file)
--- 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 dcaf71693e4a4e96739438640406f4f66c7a2dd4..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
--- 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 ff76559a882ca920c2d0496689a0178028dae664..455c2142ae37746ebb8ed944be4feb7c3311a1fd 100644 (file)
--- a/helm/mowgli/home/templates/menu.html
+++ b/helm/mowgli/home/templates/menu.html
@@ -28,8 +28,7 @@
       <tr><td><a class="menulink" target="content" href="news.html">News Archive</a></td></tr>
       <tr><td><a class="menulink" target="content" href="members/index.html">Members Area</a></td></tr>
       <tr><td><a class="menulink" target="content" href="publications/index.html">Publications</a></td></tr>
-      <!-- Next links are there just to retrieve a "Nothing Yet" page -->
-      <tr><td><a class="menulink" target="content" href="software/index.html">Software</a> (<a class="menulink" target="content" href="???">CVS</a>)</td></tr>
+      <tr><td><a class="menulink" target="content" href="software/index.html">Software</a> (<a class="menulink" target="content" href="software/index.html">CVS</a>)</td></tr>
       </table>
     </td>
   </tr>
@@ -43,7 +42,7 @@
       <tr><td><a class="menulink" target="_top" href="http://www.w3.org/Math">MathML</a></td></tr>
       <tr><td><a class="menulink" target="_top" href="http://www.openmath.org">OpenMath</a></td></tr>
       <tr><td><a class="menulink" target="_top" href="http://www.mathweb.org/omdoc/news.html">OMDoc</a></td></tr>
-      <tr><td><a class="menulink" target="content" href="publications/others">Bibliography</a></td></tr>
+      <tr><td><a class="menulink" target="content" href="publications/index.html#related">Bibliography</a></td></tr>
       </table>
     </td>
   </tr>
diff --git a/helm/mowgli/home/templates/nothing_yet.html b/helm/mowgli/home/templates/nothing_yet.html
deleted file mode 100644 (file)
index 32f2dc8..0000000
--- a/helm/mowgli/home/templates/nothing_yet.html
+++ /dev/null
@@ -1,58 +0,0 @@
-<!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
deleted file mode 100644 (file)
index 19daa85..0000000
--- a/helm/mowgli/home/templates/nothing_yet2.html
+++ /dev/null
@@ -1,58 +0,0 @@
-<!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/xsl/publications-index.xsl b/helm/mowgli/home/xsl/publications-index.xsl
index 4132b59d320daa81c7527f8973e82e98810f6160..1bca09a516570938624495291b40d5c8420f0c2f 100644 (file)
--- a/helm/mowgli/home/xsl/publications-index.xsl
+++ b/helm/mowgli/home/xsl/publications-index.xsl
@@ -22,6 +22,7 @@
     <h2>About MoWGLI</h2>
     <xsl:apply-templates select="project"/>
     <h2>Related Publications</h2>
+    <a name="related"/>
     <xsl:apply-templates select="related"/>
     <xsl:call-template name="foot">
      <xsl:with-param name="path_to_top" select="'..'"/>
Unnamed repository; edit this file 'description' to name the repository.