no longer use absolute path for naming notebook labels

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index 97c707e51ebedeff5c158432cb4cbe04b7019607..f181b53d291c0d9a64e8755e867b47d70cdc255d 100644 (file)
--- 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