diff options
author | 2005-06-21 14:53:58 +0000 | |
---|---|---|
committer | 2005-06-21 14:53:58 +0000 | |
commit | e5705b63c47dd2892fce192a920648c120efbd99 (patch) | |
tree | f6df2e340caa537749af8404946d36adbe38ec69 /tools | |
parent | f6b83274a5f262a45238489932d1482c96c38263 (diff) |
coqdep connait maintenant user-contrib
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7158 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/coqdep.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/coqdep.ml b/tools/coqdep.ml index f74509c35..2b5d192db 100755 --- a/tools/coqdep.ml +++ b/tools/coqdep.ml @@ -523,6 +523,7 @@ let coqdep () = List.iter (fun (s,_) -> add_coqlib_directory s) (all_subdirs (!coqlib/"contrib") "Coq"); + add_coqlib_directory (!coqlib/"user-contrib"); mliKnown := !mliKnown @ (List.map (fun (f,_,d) -> (f,d)) !mliAccu); mlKnown := !mlKnown @ (List.map (fun (f,_,d) -> (f,d)) !mlAccu); warning_mult ".mli" !mliKnown; |