summaryrefslogtreecommitdiff
path: root/docs/user/index.rst
diff options
context:
space:
mode:
Diffstat (limited to 'docs/user/index.rst')
-rw-r--r--docs/user/index.rst21
1 files changed, 13 insertions, 8 deletions
diff --git a/docs/user/index.rst b/docs/user/index.rst
index 96d11bf8a..af2051f01 100644
--- a/docs/user/index.rst
+++ b/docs/user/index.rst
@@ -1,10 +1,15 @@
-==================
-User documentation
-==================
+================
+User information
+================
-.. toctree::
- :maxdepth: 2
- :caption: Contents
+.. contents:: Contents
+ :depth: 3
+ :local:
+ :backlinks: entry
+
+
+.. _search-syntax:
+
+.. include:: search-syntax.md
+ :parser: myst_parser.sphinx_
- search_syntax
- own-instance