diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-12 09:56:53 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-13 12:45:32 +0100 |
| commit | 4ee02719ae211493b2922c04f259062ee230ed5c (patch) | |
| tree | 764697e44c527bf60a72294a6a59ab0943a05bdf /doc/sphinx/index.rst | |
| parent | e8a88a294f02217e0c66656dfd1bc3b5646e8517 (diff) | |
[Sphinx] Add introduction
I backported changes done to the LaTeX manual.
Diffstat (limited to 'doc/sphinx/index.rst')
| -rw-r--r-- | doc/sphinx/index.rst | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/sphinx/index.rst b/doc/sphinx/index.rst index 53e02e884..7b8bc2bae 100644 --- a/doc/sphinx/index.rst +++ b/doc/sphinx/index.rst @@ -1,3 +1,13 @@ +.. _introduction: + +.. include:: preamble.rst +.. include:: replaces.rst + +Introduction +=========================================== + +.. include:: introduction.rst + ------------------ Table of contents ------------------ |