Refactor documentation (#8288)

[cvc5.git] / docs / index.rst

diff --git a/docs/index.rst b/docs/index.rst
index 7ab22cd7a0a798c3aac81d8ac0533ee2f0838767..746b18daccf2e39ae5beb1b35d9539ffdf06eac9 100644 (file)
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -17,6 +17,12 @@ Table of Contents
    installation/installation
    binary/binary
    api/api
+   options
+   output-tags
+   proofs/proofs
+   resource-limits
+   statistics
    examples/examples
+   theories/theories
    references
    genindex