diff options
Diffstat (limited to 'doc/contents.rst')
-rw-r--r-- | doc/contents.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/contents.rst b/doc/contents.rst new file mode 100644 index 000000000..88362d38d --- /dev/null +++ b/doc/contents.rst @@ -0,0 +1,8 @@ +Table of contents +***************** +.. toctree:: + :numbered: + :maxdepth: 3 + + overview.rst + typesystem.rst |