]> 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: 0d0b47b)
Some clean-up (unuseful sed removed from Makefile).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Feb 2002 10:42:44 +0000 (10:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Feb 2002 10:42:44 +0000 (10:42 +0000)
helm/mowgli/home/html/Makefile patch | blob | history
helm/mowgli/home/templates/menu.html patch | blob | history

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 8fc0e0b8adca641e513924dea2561a55faa8d97d..df78f8dfa4461e9d1aab2daac248b921a755c8c4 100644 (file)
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -147,7 +147,7 @@ software/index.html: $(XMLROOT)/software/index.xml \
        $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl $<
 
 menu.html: $(TEMPLATESROOT)/menu.html
-       sed s/\@DATE\@/"`date`"/ $< >$@
+       cp $< $@
 
 project-management.html: $(XMLROOT)/project-management.xml \
        $(XSLROOT)/xhtml-content.xsl
diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html
index a2695a13cd250b7d53af635ebcb6d4b160a50f80..bce5ef009eac2052c5d4cc0853ddea1c913d0e33 100644 (file)
--- a/helm/mowgli/home/templates/menu.html
+++ b/helm/mowgli/home/templates/menu.html
@@ -1,7 +1,8 @@
 <!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">
+<html xmlns="http://www.w3.org/1999/xhtml"
+      xmlns:mowgli="http://mowgli.cs.unibo.it/website">
 
   <head>
     <title>MoWGLI Menu</title>
@@ -80,7 +81,7 @@
          <td><div class="small">Project Leader:</td>
        </tr>
         <tr>
-         <td><div class="small"><a href="mailto:asperti@cs.unibo.it">asperti@cs.unibo.it</a></td>
+         <td><div class="small"><a href="people/bologna/asperti.html" target="content">Prof. Andrea Asperti</a></td>
        </tr>
         <tr>
          <td><div class="small">Webmaster:</div></td>
@@ -96,13 +97,6 @@
   </td></tr>
   </table>
 
- <!--
-  <br />
-
-  <div class="small">Last Update:</div>
-  <div class="small"><b>@DATE@</b></div>
- -->
-
   </body>
 
 </html>
Unnamed repository; edit this file 'description' to name the repository.