diff options
Diffstat (limited to 'docs/user/index.rst')
| -rw-r--r-- | docs/user/index.rst | 21 |
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 |