From ef04917cb7b0a867aef13d2135f57f746600b664 Mon Sep 17 00:00:00 2001 From: Gaëtan Gilbert Date: Fri, 29 Sep 2017 14:40:15 +0200 Subject: Typo in coqdep man --- man/coqdep.1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'man') diff --git a/man/coqdep.1 b/man/coqdep.1 index 81f7e1e0d..ed727db7c 100644 --- a/man/coqdep.1 +++ b/man/coqdep.1 @@ -82,7 +82,7 @@ Prints the dependencies of Caml modules. \" the standard output. No dependency is computed with this option. .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