From df9ef93cd565a7a45589dd77ba8aa1a2ab81dcec Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
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/coqtop.1 | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'man/coqtop.1')

diff --git a/man/coqtop.1 b/man/coqtop.1
index 3eab597fb..fff813bb0 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