From b00563550b983e81a9949c1e53849f8a21ee307d Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sun, 11 Mar 2018 00:33:46 +0100
Subject: [Sphinx] Add table of contents

---
 doc/sphinx/index.rst | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/doc/sphinx/index.rst b/doc/sphinx/index.rst
index e69de29bb2..0de75ca0ce 100644
--- a/doc/sphinx/index.rst
+++ b/doc/sphinx/index.rst
@@ -0,0 +1,29 @@
+------------------
+Table of contents
+------------------
+
+.. toctree::
+   :caption: The language
+
+.. toctree::
+   :caption: The proof engine
+
+.. toctree::
+   :caption: User extensions
+
+.. toctree::
+   :caption: Practical tools
+
+.. toctree::
+   :caption: Addendum
+
+.. toctree::
+   :caption: Reference
+   :titlesonly:
+
+.. toctree::
+   :caption: Indexes
+   :titlesonly:
+   
+.. No entries yet
+  * :index:`thmindex`
-- 
cgit v1.2.3