diff options
Diffstat (limited to 'doc/sphinx/index.rst')
-rw-r--r-- | doc/sphinx/index.rst | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/doc/sphinx/index.rst b/doc/sphinx/index.rst index bd3bd93dd..f3ae49381 100644 --- a/doc/sphinx/index.rst +++ b/doc/sphinx/index.rst @@ -1,10 +1,7 @@ -.. _introduction: - .. include:: preamble.rst .. include:: replaces.rst .. include:: introduction.rst -.. include:: credits.rst ------------------ Table of contents @@ -23,6 +20,12 @@ Table of contents * :index:`thmindex` .. toctree:: + :caption: Preamble + + self + credits + +.. toctree:: :caption: The language language/gallina-specification-language |