]> 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: 1bc67a3)
Bug fixed: the top directory has a different (relative) path depending on
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Feb 2002 17:58:16 +0000 (17:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Feb 2002 17:58:16 +0000 (17:58 +0000)
the file directory.

helm/mowgli/home/xsl/common.xsl patch | blob | history
helm/mowgli/home/xsl/consortium.xsl patch | blob | history
helm/mowgli/home/xsl/deliverable.xsl patch | blob | history
helm/mowgli/home/xsl/news.xsl patch | blob | history
helm/mowgli/home/xsl/person.xsl patch | blob | history
helm/mowgli/home/xsl/project.xsl patch | blob | history
helm/mowgli/home/xsl/publication.xsl patch | blob | history
helm/mowgli/home/xsl/site.xsl patch | blob | history
helm/mowgli/home/xsl/work-package.xsl patch | blob | history
helm/mowgli/home/xsl/work-packages_index.xsl patch | blob | history

diff --git a/helm/mowgli/home/xsl/common.xsl b/helm/mowgli/home/xsl/common.xsl
index da0c1b01a1d33f722a7ade5038ff5a310e355f3c..1810935bff85a56776d311556c2e86d3f327d3dd 100644 (file)
--- a/helm/mowgli/home/xsl/common.xsl
+++ b/helm/mowgli/home/xsl/common.xsl
@@ -4,9 +4,10 @@
                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
 <xsl:template name="head">
+  <xsl:param name="path_to_top" select="'.'"/>
   <div class="right">
    <div class="small">
-    <a href="home.html">MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces</a>
+    <a href="{$path_to_top}/home.html">MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces</a>
    </div>
   </div>
   <hr/>
diff --git a/helm/mowgli/home/xsl/consortium.xsl b/helm/mowgli/home/xsl/consortium.xsl
index 291eaaa9fcc4f6b3558ffdbc17f868fb17d7bed4..01323e176eb8799f8f10275421b5440eec0f7b33 100644 (file)
--- a/helm/mowgli/home/xsl/consortium.xsl
+++ b/helm/mowgli/home/xsl/consortium.xsl
@@ -16,7 +16,9 @@
   </head>
   <body>
    <blockquote>
-    <xsl:call-template name="head"/>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'.'"/>
+    </xsl:call-template>
     <xsl:apply-templates/>
     <xsl:call-template name="foot"/>
    </blockquote>
diff --git a/helm/mowgli/home/xsl/deliverable.xsl b/helm/mowgli/home/xsl/deliverable.xsl
index 221ec922e22a6d666ad5ae3745f6c92b1f59ebde..acd3d732349276025c14c4b56ccf0e215e3730bd 100644 (file)
--- a/helm/mowgli/home/xsl/deliverable.xsl
+++ b/helm/mowgli/home/xsl/deliverable.xsl
@@ -20,7 +20,9 @@
   </head>
   <body>
    <blockquote>
-    <xsl:call-template name="head"/>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'../..'"/>
+    </xsl:call-template>
     <xsl:apply-templates/>
     <xsl:call-template name="foot"/>
    </blockquote>
diff --git a/helm/mowgli/home/xsl/news.xsl b/helm/mowgli/home/xsl/news.xsl
index 5c0d0d7e7e1097339d39603ff02c875c42e5d638..62d51c2553ee02885a3fb0bf1e40837b2e4f9bad 100644 (file)
--- a/helm/mowgli/home/xsl/news.xsl
+++ b/helm/mowgli/home/xsl/news.xsl
@@ -16,7 +16,9 @@
   </head>
   <body>
    <blockquote>
-    <xsl:call-template name="head"/>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'.'"/>
+    </xsl:call-template>
     <h1>News Archive</h1>
     <dl>
      <xsl:apply-templates/>
diff --git a/helm/mowgli/home/xsl/person.xsl b/helm/mowgli/home/xsl/person.xsl
index f632a9a4d9476e75bf9653474e0744eb2233c380..9cecd5c38d1db052a79b508443fb1a5c1908d90f 100644 (file)
--- a/helm/mowgli/home/xsl/person.xsl
+++ b/helm/mowgli/home/xsl/person.xsl
@@ -25,7 +25,9 @@
   </head>
   <body>
    <blockquote>
-    <xsl:call-template name="head"/>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'../..'"/>
+    </xsl:call-template>
     <xsl:apply-templates/>
     <xsl:call-template name="foot"/>
    </blockquote>
diff --git a/helm/mowgli/home/xsl/project.xsl b/helm/mowgli/home/xsl/project.xsl
index 1df016bf2e245007c1d170feed428f3f180b29c9..96288d74a54d546e6c2b5a7e38a78b2e2792486e 100644 (file)
--- a/helm/mowgli/home/xsl/project.xsl
+++ b/helm/mowgli/home/xsl/project.xsl
@@ -16,7 +16,9 @@
   </head>
   <body>
    <blockquote>
-    <xsl:call-template name="head"/>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'.'"/>
+    </xsl:call-template>
     <xsl:apply-templates/>
     <xsl:call-template name="foot"/>
    </blockquote>
diff --git a/helm/mowgli/home/xsl/publication.xsl b/helm/mowgli/home/xsl/publication.xsl
index 0e1ef35fe3206f6b151b238ec007319eb2700f80..e06a856fc5c3bac3e4b5a5b83a5865d91ba749b5 100644 (file)
--- a/helm/mowgli/home/xsl/publication.xsl
+++ b/helm/mowgli/home/xsl/publication.xsl
@@ -16,7 +16,9 @@
   </head>
   <body>
    <blockquote>
-    <xsl:call-template name="head"/>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'../..'"/>
+    </xsl:call-template>
     <xsl:apply-templates/>
     <xsl:call-template name="foot"/>
    </blockquote>
diff --git a/helm/mowgli/home/xsl/site.xsl b/helm/mowgli/home/xsl/site.xsl
index 9aa0ecd2fc6716b6cb13a75b9d172e3ff0d8fc20..1046a8f055da48c0b522db5989ac1afb14ed3247 100644 (file)
--- a/helm/mowgli/home/xsl/site.xsl
+++ b/helm/mowgli/home/xsl/site.xsl
@@ -16,7 +16,9 @@
   </head>
   <body>
    <blockquote>
-    <xsl:call-template name="head"/>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'..'"/>
+    </xsl:call-template>
     <xsl:apply-templates/>
     <xsl:call-template name="foot"/>
    </blockquote>
diff --git a/helm/mowgli/home/xsl/work-package.xsl b/helm/mowgli/home/xsl/work-package.xsl
index 50cfff2682699ee7b4d7397b4f7b5428f5b4d7ba..bb0751d332bc3d96d6cb24a00e37a8a1e07a0248 100644 (file)
--- a/helm/mowgli/home/xsl/work-package.xsl
+++ b/helm/mowgli/home/xsl/work-package.xsl
@@ -21,7 +21,9 @@
   </head>
   <body>
    <blockquote>
-    <xsl:call-template name="head"/>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'..'"/>
+    </xsl:call-template>
     <xsl:apply-templates/>
     <xsl:call-template name="foot"/>
    </blockquote>
diff --git a/helm/mowgli/home/xsl/work-packages_index.xsl b/helm/mowgli/home/xsl/work-packages_index.xsl
index dbe56c09ea6a3a32bede0dcbaa0e637e437e3b2e..e57ff7b8e4ba85c54c78f215f6ac7ea467e0ea5a 100644 (file)
--- a/helm/mowgli/home/xsl/work-packages_index.xsl
+++ b/helm/mowgli/home/xsl/work-packages_index.xsl
@@ -16,7 +16,9 @@
   </head>
   <body>
    <blockquote>
-    <xsl:call-template name="head"/>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'..'"/>
+    </xsl:call-template>
     <xsl:apply-templates/>
     <xsl:call-template name="foot"/>
    </blockquote>
Unnamed repository; edit this file 'description' to name the repository.