From c48a1b4d2fba0439b81a3c04cd848fd1d53e3b90 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 28 Nov 2000 17:31:06 +0000
Subject: Remplacement des add_include par add_rec_include pour avoir le
 repertoire dans le nom long

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1008 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/coqinit.ml | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml
index 432f6c5e0f..7262362ec8 100644
--- a/toplevel/coqinit.ml
+++ b/toplevel/coqinit.ml
@@ -69,15 +69,9 @@ let init_load_path () =
     List.iter 
       (fun s -> add_include (Filename.concat Coq_config.coqtop s))
       ["states"; "dev"];
-    let theories = Filename.concat Coq_config.coqtop "theories" in
-    List.iter
-      (fun s -> add_include (Filename.concat theories (hm2 s)))
-      Coq_config.theories_dirs;
+    add_rec_include (Filename.concat Coq_config.coqtop "theories");
     add_include (Filename.concat Coq_config.coqtop "tactics");
-    let contrib = Filename.concat Coq_config.coqtop "contrib" in
-    List.iter
-      (fun s -> add_include (Filename.concat contrib (hm2 s)))
-      Coq_config.contrib_dirs
+    add_rec_include (Filename.concat Coq_config.coqtop "contrib");
   end else begin
     (* default load path; variable COQLIB overrides the default library *)
     let coqlib = getenv_else "COQLIB" Coq_config.coqlib in
-- 
cgit v1.2.3