diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-04-12 16:27:19 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-04-12 16:27:19 +0000 |
| commit | 62b92230d3ed0c01ce6cdb7bc59635ca7f659a9c (patch) | |
| tree | f9e9b1da8d0f9b387ab8f80bf58f4e530f553e5d /man | |
| parent | 0c0c605756d4c1f05b8ddf0d9ff7ad2f4926772a (diff) | |
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
Diffstat (limited to 'man')
| -rw-r--r-- | man/coqmktop.1 | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/man/coqmktop.1 b/man/coqmktop.1 index cae9f1e84..810df782c 100644 --- a/man/coqmktop.1 +++ b/man/coqmktop.1 @@ -50,10 +50,6 @@ 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 |