1 files changed, 8 insertions, 0 deletions
diff --git a/doc/sphinx/index.rst b/doc/sphinx/index.rst
index cf64aea03..db03693ff 100644
--- a/doc/sphinx/index.rst
+++ b/doc/sphinx/index.rst
@@ -44,10 +44,18 @@ Table of contents
    :caption: Addendum
 
    addendum/extended-pattern-matching
+   addendum/implicit-coercions
    addendum/canonical-structures
    addendum/type-classes
    addendum/omega
    addendum/micromega
+   addendum/extraction
+   addendum/program
+   addendum/ring
+   addendum/nsatz
+   addendum/generalized-rewriting
+   addendum/parallel-proof-processing
+   addendum/miscellaneous-extensions
 
 .. toctree::
    :caption: Reference