nouveau load path

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@828 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 2 deletions

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 16b0e48095..0c9407cb2c 100755
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -397,9 +397,10 @@ let coqdep () =
       Coq_config.theories_dirs;
     let tactics = Filename.concat !coqlib "tactics" in
     add_coqlib_directory tactics;
+    let contrib = Filename.concat !coqlib "contrib" in
     List.iter 
-      (fun s -> add_coqlib_directory (Filename.concat tactics s))
-      Coq_config.tactics_dirs;
+      (fun s -> add_coqlib_directory (Filename.concat contrib s))
+      Coq_config.contrib_dirs;
     mliKnown := !mliKnown @ (List.map (fun (f,_,d) -> (f,d)) !mliAccu);
     mlKnown  := !mlKnown @ (List.map (fun (f,_,d) -> (f,d)) !mlAccu);
     vKnown   := !vKnown @ !vAccu;