diff options
-rw-r--r-- | man/coq_makefile.1 | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/man/coq_makefile.1 b/man/coq_makefile.1 index a24f66b7c..b5de6d367 100644 --- a/man/coq_makefile.1 +++ b/man/coq_makefile.1 @@ -19,8 +19,7 @@ is a makefile generator for Coq proof developments. .TP .BI \-h -Will give you a description of the whole list of options of coqc and -coqtop. +Will give you a description of the whole list of options of coq_makefile. .SH SEE ALSO |