diff options
| author | jvoisin | 2018-01-17 18:14:49 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-17 18:15:13 +0100 |
| commit | 432a03f571ec0870b8e61f09b9044e6ba0fd8322 (patch) | |
| tree | 5299d16ee9b01b3702c9554f14f8b1e83af4897f /doc/source/debug.rst | |
| parent | f1cdd546c57cea193021a5d0bb36fc9f3d8ee5b7 (diff) | |
Mention the debug page in the documentation
Diffstat (limited to 'doc/source/debug.rst')
| -rw-r--r-- | doc/source/debug.rst | 2 |
1 files changed, 2 insertions, 0 deletions
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 @@ | |||
| 4 | because its content is pretty technical, and "normal users" shouldn't | 4 | because its content is pretty technical, and "normal users" shouldn't |
| 5 | need to read it. | 5 | need to read it. |
| 6 | 6 | ||
| 7 | .. _debug: | ||
| 8 | |||
| 7 | Debugging crashes | 9 | Debugging crashes |
| 8 | ================= | 10 | ================= |
| 9 | 11 | ||