Merge pull request certtools#2479 from sebix/gitignore-docs

ignore user-generated docs files

Author: sebix

.github/workflows/build-docs.yml

@@ -37,7 +37,12 @@ jobs:
 
       - name: "Install build dependencies"
         run: |
-          pip install mkdocs-material mike lunr pygments mkdocstrings[python] mkdocs-material mkdocs-glightbox mkdocs-redirects mkdocs-minify-plugin
+          pip install mkdocs-material mike lunr pygments mkdocstrings[python] mkdocs-material mkdocs-glightbox mkdocs-redirects mkdocs-minify-plugin ruamel.yaml
+
+      - name: "Generate Feed and Event documentation"
+        run: |
+          python3 scripts/generate-feeds-docs.py
+          python3 scripts/generate-event-docs.py
 
       - name: "Prepare git"
         run: |

.gitignore

@@ -31,7 +31,9 @@ venv/
 .env
 
 # mkdocs
-docs_build
+docs_build/
+docs/user/feeds.md
+docs/user/event.md
 
 # Debian build filed
 debian/files