From 432a03f571ec0870b8e61f09b9044e6ba0fd8322 Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Wed, 17 Jan 2018 18:14:49 +0100
Subject: Mention the debug page in the documentation

---
 doc/source/debug.rst | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/source/debug.rst')

diff --git a/doc/source/debug.rst b/doc/source/debug.rst
index 9e7685e..b339366 100644
--- a/doc/source/debug.rst
+++ b/doc/source/debug.rst
@@ -4,6 +4,8 @@
    because its content is pretty technical, and "normal users" shouldn't
    need to read it.
 
+..  _debug:
+
 Debugging crashes
 =================
 
-- 
cgit v1.3