diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-14 11:24:05 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-15 14:38:50 +0100 |
commit | 11ad8ca8da3b6b231918755c74c98a9925944dd5 (patch) | |
tree | a6ecf1c7b97015c359a69fb7ae2473ea976ab267 /doc/sphinx/index.rst | |
parent | f1315c761dad2b71debeb0f3b81274ac5f6db6e7 (diff) |
[Sphinx] Add chapter 12
Thanks to Clément Pit-Claudel for porting this chapter.
Diffstat (limited to 'doc/sphinx/index.rst')
-rw-r--r-- | doc/sphinx/index.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/sphinx/index.rst b/doc/sphinx/index.rst index c76d0c73b..f3b852d45 100644 --- a/doc/sphinx/index.rst +++ b/doc/sphinx/index.rst @@ -29,6 +29,8 @@ Table of contents .. toctree:: :caption: User extensions + user-extensions/syntax-extensions + .. toctree:: :caption: Practical tools |