move generated docs to site-html

2024-08-07 16:48:22 +02:00
parent 474a22cb3b
commit 6b1c32893b
2 changed files with 2 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@
 *.swp

 docs/develop/*.png
+site-html

 build
 dist
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -71,6 +71,7 @@ markdown_extensions:
 extra_css: [extra.css, styles.css]
 exclude_docs: |
    mk_install_instructions.py
+site_dir: site-html
 plugins:
    - search
    - mkdocstrings: