diff options
Diffstat (limited to 'man/coqmktop.1')
| -rw-r--r-- | man/coqmktop.1 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/man/coqmktop.1 b/man/coqmktop.1 index 3640d439b..1b9c9e2a1 100644 --- a/man/coqmktop.1 +++ b/man/coqmktop.1 @@ -17,10 +17,10 @@ coqmktop \- The Coq Proof Assistant user-tactics linker .B coqmktop builds a new Coq toplevel extended with user-tactics. .IR files \& -are the Objective Caml object or library files (i.e. with suffix .cmo, -.cmx, .cma or .cmxa) to link with the Coq system. +are the Objective Caml object or library files +(i.e. with suffix .cmo, .cmx, .cma or .cmxa) to link with the Coq system. The linker produces an executable Coq toplevel which can be called -directly or through coqc(1), using the -image option. +directly or through coqc(1), using the \-image option. .SH OPTIONS |