diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-12 18:51:14 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-12 18:51:14 +0100 |
| commit | 9daec838c8896e7c1048b42d01eba0c71c912f00 (patch) | |
| tree | b27a12e165d2c5b8c1b4d3171f961b8a5025bbb3 /tools/coqdep.ml | |
| parent | bff2b36cb0e2dbd02c4f181fba545a420e847767 (diff) | |
Revert "Capital letter in plugins." (Sorry, was not intended to be pushed)
This reverts commit bff2b36cb0e2dbd02c4f181fba545a420e847767.
Diffstat (limited to 'tools/coqdep.ml')
| -rw-r--r-- | tools/coqdep.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/coqdep.ml b/tools/coqdep.ml index 49693212d..57c9e82f2 100644 --- a/tools/coqdep.ml +++ b/tools/coqdep.ml @@ -482,14 +482,14 @@ let coqdep () = (* NOTE: These directories are searched from last to first *) if !option_boot then begin add_rec_dir add_known "theories" ["Coq"]; - add_rec_uppercase_subdirs add_known "plugins" ["Coq"]; + add_rec_dir add_known "plugins" ["Coq"]; add_rec_dir (fun _ -> add_caml_known) "theories" ["Coq"]; - add_rec_uppercase_subdirs (fun _ -> add_caml_known) "plugins" ["Coq"]; + add_rec_dir (fun _ -> add_caml_known) "plugins" ["Coq"]; end else begin Envars.set_coqlib ~fail:Errors.error; let coqlib = Envars.coqlib () in add_rec_dir add_coqlib_known (coqlib//"theories") ["Coq"]; - add_rec_uppercase_subdirs add_coqlib_known (coqlib//"plugins") ["Coq"]; + add_rec_dir add_coqlib_known (coqlib//"plugins") ["Coq"]; let user = coqlib//"user-contrib" in if Sys.file_exists user then add_dir add_coqlib_known user []; List.iter (fun s -> add_dir add_coqlib_known s []) |