From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Sep 2005 15:00:48 +0000 (+0000)
Subject: no longer use absolute path for naming notebook labels
X-Git-Tag: V_0_1_2_1~13
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=deb24393d87debc27665aa6bd05d6f55bcde9dad;p=helm.git

no longer use absolute path for naming notebook labels
---

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index 97c707e51..f181b53d2 100644
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -449,7 +449,7 @@ object (self)
     
   method private ppFilename =
     match guistuff.filenamedata with 
-    | Some f,_ -> f 
+    | Some f,_ -> Filename.basename f 
     | None,_ -> sprintf ".unnamed%d.ma" scriptId
   
   initializer