diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-01-15 17:30:00 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-01-15 17:30:00 +0100 |
| commit | 088977e086a5fd72f5f724192e5cb5ba1a0d9bb6 (patch) | |
| tree | ec92e6b71e58ec652f6f137eeafdc366cbfdb647 /tools/coqdep.ml | |
| parent | d6d81d63591e37fd74c841165afd9e3baf6e0d8d (diff) | |
Minor edits in output of coqdep --help.
Diffstat (limited to 'tools/coqdep.ml')
| -rw-r--r-- | tools/coqdep.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/coqdep.ml b/tools/coqdep.ml index 011293a90..aaea1ee70 100644 --- a/tools/coqdep.ml +++ b/tools/coqdep.ml @@ -437,8 +437,8 @@ let usage () = eprintf " -boot : For coq developpers, prints dependencies over coq library files (omitted by default).\n"; eprintf " -sort : output the given file name ordered by dependencies\n"; eprintf " -noglob | -no-glob : \n"; - eprintf " -I dir -as logname : adds (non recursively) dir to coq load path under logical name logname\n"; - eprintf " -I dir : adds (non recursively) dir to ocaml path\n"; + eprintf " -I dir -as logname : add (non recursively) dir to coq load path under logical name logname\n"; + eprintf " -I dir : add (non recursively) dir to ocaml path\n"; eprintf " -R dir -as logname : add and import dir recursively to coq load path under logical name logname\n"; (* deprecate? *) eprintf " -R dir logname : add and import dir recursively to coq load path under logical name logname\n"; eprintf " -Q dir logname : add (recusively) and open (non recursively) dir to coq load path under logical name logname\n"; |