Isolate docs-related stuff to docs/, add requirements.txt

.github/workflows/docs.yml

@@ -34,6 +34,8 @@ jobs:
 
       - uses: actions/checkout@v4
 
+      - run: cd docs
+
       - name: Configure Git Credentials
         run: |
           git config user.name github-actions[bot]
@@ -52,7 +54,7 @@ jobs:
           restore-keys: |
             mkdocs-material-
 
-      - run: pip install mkdocs-material
+      - run: pip install -r requirements.txt
 
       - name: Build Docs and Capture Warnings
         id: build_docs

docs/.gitignore

@@ -0,0 +1,6 @@
+# MkDocs build output
+/site/
+
+# Python virtual env
+venv/
+.venv/

docs/requirements.txt

@@ -0,0 +1,2 @@
+mkdocs-material
+mkdocs-redirects