From df9ef93cd565a7a45589dd77ba8aa1a2ab81dcec Mon Sep 17 00:00:00 2001
From: pboutill
Date: Sat, 21 Jan 2012 09:13:31 +0000
Subject: Coqtop and coqc: cleaning description of options in RefMan and
 manpages.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14934 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 man/coqc.1   | 12 ++++++++++++
 man/coqtop.1 |  6 ------
 2 files changed, 12 insertions(+), 6 deletions(-)

(limited to 'man')

diff --git a/man/coqc.1 b/man/coqc.1
index 7113d50444..1e597afd99 100644
--- a/man/coqc.1
+++ b/man/coqc.1
@@ -40,6 +40,18 @@ with option
 it accepts the same options as
 .B coqtop.
 
+.TP
+.BI \-image \ bin
+use
+.I bin
+as underlying
+.B coqtop
+instead of the default one.
+
+.TP
+.BI \-verbose
+print the compiled file on the standard output.
+
 .SH SEE ALSO
 
 .BR coqtop (1),
diff --git a/man/coqtop.1 b/man/coqtop.1
index 3eab597fb3..fff813bb06 100644
--- a/man/coqtop.1
+++ b/man/coqtop.1
@@ -134,12 +134,6 @@ skip loading of rcfile
 set the rcfile to
 .I filename
 
-.TP
-.BI \-user \ uid
-use the rcfile of user
-.I uid
-
-
 .TP
 .B \-batch
 batch mode (exits just after arguments parsing)
-- 
cgit v1.2.3