From 62b92230d3ed0c01ce6cdb7bc59635ca7f659a9c Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 12 Apr 2011 16:27:19 +0000
Subject: remove old traces of SearchIsos (never ported to 7.x nor 8.x)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13986 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 man/coqmktop.1 | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'man')

diff --git a/man/coqmktop.1 b/man/coqmktop.1
index cae9f1e84..810df782c 100644
--- a/man/coqmktop.1
+++ b/man/coqmktop.1
@@ -49,10 +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
 .BI \-R \ dir
 Specify recursively directories for Ocaml
-- 
cgit v1.2.3