diff options
| -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 f74509c353..2b5d192db6 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; |