diff options
| author | Maxime Dénès | 2018-03-09 09:23:21 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-09 09:23:21 +0100 |
| commit | 4ddd8c17a4a8a385fd621ca4804175ae87a01454 (patch) | |
| tree | ffa9ae3dd281d9bc0985b49ffff47b618769a1b1 /man | |
| parent | 866bad4e9cdaa6ff4419840f8c9980f770873176 (diff) | |
| parent | d3414abd4dc912debf1a8339eedbe1b9d4dbc319 (diff) | |
Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSX
Diffstat (limited to 'man')
| -rw-r--r-- | man/coqdep.1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/coqdep.1 b/man/coqdep.1 index ed727db7c8..c417402c25 100644 --- a/man/coqdep.1 +++ b/man/coqdep.1 @@ -80,6 +80,9 @@ Prints the dependencies of Caml modules. \" of each Coq file given as argument and complete (if needed) \" the list of Caml modules. The new command is printed on \" the standard output. No dependency is computed with this option. +.TP +.BI \-f \ file +Read filenames and options -I, -R and -Q from a _CoqProject FILE. .TP .BI \-I/\-Q/\-R \ options Have the same effects on load path and modules names as for other |