From e8419bac30ab98527ec6b15d5a0f5c1035539ca5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 12 Feb 2019 02:41:00 +0100
Subject: [library] Remove `-boot` option.

The `-boot` option was used to:

- suppress loading of the rc_file
- allow to save modules with prefix `Coq`

There is no good reason disable saving of modules with `Coq` prefix by
default, thus we remove this option.

Fixes: #9575
---
 man/coqide.1 | 9 ---------
 man/coqtop.1 | 6 ------
 2 files changed, 15 deletions(-)

(limited to 'man')

diff --git a/man/coqide.1 b/man/coqide.1
index 3592f6e4e3..62a102af03 100644
--- a/man/coqide.1
+++ b/man/coqide.1
@@ -100,15 +100,6 @@ Skip loading of rcfile.
 Set the rcfile to
 .IR f .
 .TP
-.B \-batch
-Batch mode (exits just after arguments parsing).
-.TP
-.B \-boot
-Boot mode (implies
-.B \-q
-and
-.BR \-batch ).
-.TP
 .B \-emacs
 Tells Coq it is executed under Emacs.
 .TP
diff --git a/man/coqtop.1 b/man/coqtop.1
index addfb54672..25d0ef7718 100644
--- a/man/coqtop.1
+++ b/man/coqtop.1
@@ -105,12 +105,6 @@ set the rcfile to
 .B \-batch
 batch mode (exits just after arguments parsing)
 
-.TP
-.B \-boot
-boot mode (implies
-.B \-q
-)
-
 .TP
 .B \-emacs
 tells Coq it is executed under Emacs
-- 
cgit v1.2.3