From dd285233cff5eb67e4d394c6f7dabf40335ba33f Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 15 Aug 2017 17:36:18 +0200
Subject: Adapt debugging doc to configure/Makefile changes.

---
 dev/doc/debugging.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/doc/debugging.md b/dev/doc/debugging.md
index 1c7b2bc974..b41206f3de 100644
--- a/dev/doc/debugging.md
+++ b/dev/doc/debugging.md
@@ -25,8 +25,9 @@ Debugging from Coq toplevel using Caml trace mechanism
 Debugging from Caml debugger
 ============================
 
-   Needs tuareg mode in Emacs
-   Coq must be configured with -debug and -local (./configure -debug -local)
+   Requires [Tuareg mode](https://github.com/ocaml/tuareg) in Emacs.\
+   Coq must be configured with `-local` (`./configure -local`) and the
+   byte-code version of `coqtop` must have been generated with `make byte`.
 
    1. M-x camldebug
    2. give the binary name bin/coqtop.byte
-- 
cgit v1.2.3