Code extraction unbranched again.

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 3a6335cb14e65355df7e313abad09e9c484956be..a1d370ddc0ea155755837de55c9cf8cf212e3fa8 100644 (file)
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -304,7 +304,7 @@ let main ~mode =
   MatitaInit.initialize_all ();
   (* must be called after init since args are set by cmdline parsing *)
   let fname = fname () in
-  if true then
+  if false then
    let basename = Filename.basename (Filename.chop_extension fname) in
    let baseuri =
     (* This does not work yet :-(