Merge pull request #174 from kayjan/mkdocs

Changed: Rename docs to docs_sphinx

Author: kayjan

.github/workflows/docs.yml

@@ -29,14 +29,14 @@ jobs:
         uses: actions/setup-python@v4
       - name: Install dependencies
         run: |
-          pip install -r docs/requirements.txt
+          pip install -r docs_sphinx/requirements.txt
       - name: Sphinx build
         run: |
-          sphinx-build docs/source docs/build
+          sphinx-build docs_sphinx/source docs_sphinx/build
       - name: Deploy to GH Pages
         uses: peaceiris/actions-gh-pages@v3
         with:
           publish_branch: gh-pages
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: docs/build/
+          publish_dir: docs_sphinx/build/
           force_orphan: true

.pre-commit-config.yaml

@@ -29,4 +29,4 @@ repos:
     rev: v0.902
     hooks:
       - id: mypy
-        exclude: "tests/|docs/"
+        exclude: "tests/|docs/|docs_sphinx/"

.readthedocs.yaml

@@ -13,9 +13,9 @@ build:
 
 # Build documentation in the docs/ directory with Sphinx
 sphinx:
-   configuration: docs/source/conf.py
+   configuration: docs_sphinx/source/conf.py
 
 # Optionally declare the Python requirements required to build your docs
 python:
   install:
-    - requirements: docs/requirements.txt
+    - requirements: docs_sphinx/requirements.txt