From d3414abd4dc912debf1a8339eedbe1b9d4dbc319 Mon Sep 17 00:00:00 2001 From: Gaëtan Gilbert Date: Thu, 1 Mar 2018 13:51:27 +0100 Subject: Add CHANGES and man entry for coqdep learning _CoqProject. --- man/coqdep.1 | 3 +++ 1 file changed, 3 insertions(+) (limited to 'man') diff --git a/man/coqdep.1 b/man/coqdep.1 index ed727db7c..c417402c2 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 -- cgit v1.2.3