Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs

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

1 files changed, 3 insertions, 3 deletions

diff --git a/tools/coqdep_boot.ml b/tools/coqdep_boot.ml
index 67113aa06..59fe701aa 100644
--- a/tools/coqdep_boot.ml
+++ b/tools/coqdep_boot.ml
@@ -12,8 +12,8 @@ open Coqdep_common
 
 (** [coqdep_boot] is a stripped-down version of [coqdep], whose
     behavior is the one of [coqdep -boot]. Its only dependencies
-    are [Coqdep_lexer] and [Unix], and it should stay so.
-    If it need someday some additional information, pass it via
+    are [Coqdep_lexer], [Coqdep_common] and [Unix], and it should stay so.
+    If it needs someday some additional information, pass it via
     options (see for instance [option_natdynlk] below).
 *)
 
@@ -29,7 +29,7 @@ let coqdep_boot () =
   if Array.length Sys.argv < 2 then exit 1;
   parse (List.tl (Array.to_list Sys.argv));
   add_rec_dir add_known "theories" ["Coq"];
-  add_rec_dir add_known "contrib" ["Coq"];
+  add_rec_dir add_known "plugins" ["Coq"];
   List.iter (fun (f,d) -> add_mli_known f d) !mliAccu;
   List.iter (fun (f,d) -> add_mllib_known f d) !mllibAccu;
   List.iter (fun (f,_,d) -> add_ml_known f d) !mlAccu;