From 0416ed84caf37bc482214b4213be88d405c9b4ce Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Thu, 8 Mar 2018 13:07:48 +0100 Subject: Moving Gitlab CI documentation build to the main Coq build. --- doc/tools/coqrst/repl/coqtop.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/tools') diff --git a/doc/tools/coqrst/repl/coqtop.py b/doc/tools/coqrst/repl/coqtop.py index 42a2f9823..2df97d3dc 100644 --- a/doc/tools/coqrst/repl/coqtop.py +++ b/doc/tools/coqrst/repl/coqtop.py @@ -42,7 +42,7 @@ class CoqTop: :param args: Additional arugments to coqtop. """ self.coqtop_bin = coqtop_bin or os.path.join(os.getenv('COQBIN'),"coqtop") - self.args = (args or []) + ["-color", "on"] * color + self.args = (args or []) + ["-boot", "-color", "on"] * color self.coqtop = None def __enter__(self): -- cgit v1.2.3