From bff2b36cb0e2dbd02c4f181fba545a420e847767 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 1 Feb 2015 15:11:14 +0100
Subject: Capital letter in plugins.

---
 tools/coqdep.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tools')

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 57c9e82f22..49693212de 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_dir add_known "plugins" ["Coq"];
+    add_rec_uppercase_subdirs add_known "plugins" ["Coq"];
     add_rec_dir (fun _ -> add_caml_known) "theories" ["Coq"];
-    add_rec_dir (fun _ -> add_caml_known) "plugins" ["Coq"];
+    add_rec_uppercase_subdirs (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_dir add_coqlib_known (coqlib//"plugins") ["Coq"];
+    add_rec_uppercase_subdirs 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 [])
-- 
cgit v1.2.3