From 97fefe1fcca363a1317e066e7f4b99b9c1e9987b Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 12 Jan 2012 16:02:20 +0100
Subject: Imported Upstream version 8.4~beta

---
 man/coqmktop.1 | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'man/coqmktop.1')

diff --git a/man/coqmktop.1 b/man/coqmktop.1
index 1b9c9e2a..810df782 100644
--- a/man/coqmktop.1
+++ b/man/coqmktop.1
@@ -49,14 +49,6 @@ Link high level tactics
 Build Coq on a ocaml toplevel (incompatible with
 .BR \-opt )
 
-.TP
-.B \-searchisos
-Build a toplevel for SearchIsos
-
-.TP
-.B \-ide
-Build a toplevel for the Coq IDE
-
 .TP
 .BI \-R \ dir
 Specify recursively directories for Ocaml
-- 
cgit v1.2.3