diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2022-03-13 23:12:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-13 23:12:46 +0100 |
| commit | cd92a7eacdd6b4c333e57111e1503b8455628067 (patch) | |
| tree | a2f72a42d2024c1f612bee5f9058920c643e6878 /docs/user/index.rst | |
| parent | e847313007aa3a61c26acda122bb183df1df76a7 (diff) | |
| parent | 1157462ff9fc08504297e259356ccbefb339965f (diff) | |
Merge pull request #930 from return42/merge-user-doc2
Integrate the user documentation into the application
Diffstat (limited to 'docs/user/index.rst')
| -rw-r--r-- | docs/user/index.rst | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/docs/user/index.rst b/docs/user/index.rst index 96d11bf8a..dc9fb0da2 100644 --- a/docs/user/index.rst +++ b/docs/user/index.rst @@ -2,9 +2,14 @@ User documentation ================== -.. 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 |