From 2da3c84c4badb8e6836e9dd6efe7e0d524234b28 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 21 Jul 2005 16:37:34 +0000
Subject: [PATCH] Bug fixed: LICENSE and AUTHORS were searched in the current
 dir :-(

---
 helm/matita/matitaGui.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 3e8fde7a9..8dc0cf313 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -154,7 +154,7 @@ class gui () =
         [ ];
         (* about win *)
       let parse_txt_file file =
-       let ch = open_in file in
+       let ch = open_in (BuildTimeConf.runtime_base_dir ^ "/" ^ file) in
        let l_rev = ref [] in
        try
         while true do
-- 
2.39.2