Docs: init redoc internal rest inspired docs

2025-07-04 12:43:01 +02:00
parent dc4733d0d0
commit 38b8722e2e
7 changed files with 59 additions and 11 deletions
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -181,6 +181,9 @@ nav:
          - 05-deployment-parameters: decisions/05-deployment-parameters.md
          - Template: decisions/_template.md
  - Options: options.md
+  - Developer:
+      - Introduction: intern/index.md
+      - API: intern/api.md

 docs_dir: site
 site_dir: out
@@ -238,3 +241,4 @@ extra:
 plugins:
  - search
  - macros
+  - redoc-tag