use root index, fix docker deploy

This commit is contained in:
2022-01-21 14:38:09 +01:00
parent 04188b3bfa
commit 59dbf66fdf
5 changed files with 3 additions and 5 deletions

View File

@ -39,7 +39,7 @@ markdown_extensions:
nav:
- "Introduction":
- intro/index.md
- index.md
- "Frequently asked questions": intro/faq.md
- "Project strategy": intro/strategy.md
- "Managed hosting": intro/managed.md