Merge PR #9560: [coqlib] Remove `-boot` option for setting the coqlib

Reviewed-by: SkySkimmer
Ack-by: ejgallego
Reviewed-by: gares

1 files changed, 1 insertions, 4 deletions

diff --git a/doc/tools/coqrst/repl/coqtop.py b/doc/tools/coqrst/repl/coqtop.py
index 6d65d30d46..ddba2edd4a 100644
--- a/doc/tools/coqrst/repl/coqtop.py
+++ b/doc/tools/coqrst/repl/coqtop.py
@@ -49,13 +49,10 @@ class CoqTop:
                            the ansicolors module)
         :param args:       Additional arugments to coqtop.
         """
-        BOOT = True
-        if os.getenv('COQBOOT') == "no":
-            BOOT = False
         self.coqtop_bin = coqtop_bin or os.path.join(os.getenv('COQBIN', ""), "coqtop")
         if not pexpect.utils.which(self.coqtop_bin):
             raise ValueError("coqtop binary not found: '{}'".format(self.coqtop_bin))
-        self.args = (args or []) + ["-boot"] * BOOT + ["-color", "on"] * color
+        self.args = (args or []) + ["-color", "on"] * color
         self.coqtop = None
 
     def __enter__(self):