From 624dc13d0e80dcde22beecd3c80e68037899c287 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 14 Jun 2017 18:58:03 +0200
Subject: [toplevel] Remove long ago deprecated and NOOP options.

Minor clean up, no sense in having these as they do nothing.
---
 dev/doc/debugging.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/doc/debugging.txt b/dev/doc/debugging.txt
index 79cde48849..3e2b435b3e 100644
--- a/dev/doc/debugging.txt
+++ b/dev/doc/debugging.txt
@@ -1,7 +1,7 @@
 Debugging from Coq toplevel using Caml trace mechanism
 ======================================================
 
-  1. Launch bytecode version of Coq (coqtop.byte or coqtop -byte)
+  1. Launch bytecode version of Coq (coqtop.byte)
   2. Access Ocaml toplevel using vernacular command 'Drop.'
   3. Install load paths and pretty printers for terms, idents, ... using
      Ocaml command '#use "base_include";;' (use '#use "include";;' for 
-- 
cgit v1.2.3