From 36404268502d43a657c1cdc4bcb7bbdc972b6c56 Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 21 Nov 2011 16:58:22 +0000
Subject: -user option removal

it is imcompatible with the freedesktop policy that config directory is private.
Feel absolutly free to revert this commit if you think -user should stay

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14713 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 man/coqide.1 | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'man')

diff --git a/man/coqide.1 b/man/coqide.1
index 20379ef4d..9862ebb25 100644
--- a/man/coqide.1
+++ b/man/coqide.1
@@ -12,11 +12,11 @@ coqide \- The Coq Proof Assistant graphical interface
 
 .SH DESCRIPTION
 
-.B coqtop
+.B coqide
 is a gtk graphical interface for the Coq proof assistant.
 
 For command-line-oriented use of Coq, see
-.BR coqide (1)
+.BR coqtop (1)
 ; for batch-oriented use of Coq, see 
 .BR coqc (1).
 
@@ -112,10 +112,6 @@ Skip loading of rcfile.
 Set the rcfile to
 .IR f .
 .TP
-.BI \-user\  u
-Use the rcfile of user
-.IR u .
-.TP
 .B \-batch
 Batch mode (exits just after arguments parsing).
 .TP
-- 
cgit v1.2.3