From 9043add656177eeac1491a73d2f3ab92bec0013c Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 29 Dec 2018 14:31:27 -0500 Subject: Imported Upstream version 8.8.2 --- man/coqdep.1 | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'man/coqdep.1') diff --git a/man/coqdep.1 b/man/coqdep.1 index 81f7e1e0..c417402c 100644 --- a/man/coqdep.1 +++ b/man/coqdep.1 @@ -80,9 +80,12 @@ 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 than for other +Have the same effects on load path and modules names as for other coq commands (coqtop, coqc). .TP .BI \-coqlib \ directory -- cgit v1.2.3