added docs index file from pull request #19

yacy · Sep 24, 2023 · a6b84c1 · a6b84c1
1 parent a98c45d
commit a6b84c1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -12,6 +12,7 @@ nav:
   - Home: index.md
   - Demo: demonstration_tutorial_screenshot.md
   - Download: download_installation.md
+  - Docs: docs.md
   - FAQ: faq.md
 
 markdown_extensions: