Fix mdocs build process (#573)

.github/workflows/docs.yml

@@ -11,7 +11,5 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v4
         with:
-          python-version: 3.x
-      - run: pip install mkdocs-material
-      - run: pip install mkdocs-git-revision-date-localized-plugin
-      - run: mkdocs gh-deploy --force
+          python-version: 3.11
+      - run: pip install pipenv && pipenv install && pipenv run mkdocs gh-deploy --force

.github/workflows/verify.yml

@@ -50,6 +50,5 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v4
         with:
-          python-version: 3.x
-      - run: pip install mkdocs-material
-      - run: pip install mkdocs-git-revision-date-localized-plugin
+          python-version: 3.11
+      - run: pip install pipenv && pipenv install && pipenv run mkdocs build

.gitignore

@@ -33,4 +33,6 @@ buildNumber.properties
 # Bot internal generated data
 /config/
 /logs/
-/out/
+/out/
+
+/site/

Pipfile

@@ -0,0 +1,13 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+mkdocs-material = "*"
+mkdocs-git-revision-date-localized-plugin = "*"
+
+[dev-packages]
+
+[requires]
+python_version = "3.11"