use cache for pip

Author: pashagolub

.github/workflows/build.yml

@@ -178,9 +178,10 @@ jobs:
       with:
         python-version: 3.13
         cache: 'pip'
+        cache-dependency-path: '**/requirements-doc.txt'
 
     - name: Install dependencies
-      run: pip install mike mkdocs-material
+      run: pip install -r docs/requirements-doc.txt
 
     - name: Check if we should push to gh-pages
       # if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}

docs/license.md

@@ -0,0 +1,3 @@
+# License
+
+--8<-- "LICENSE"

docs/requirements-doc.txt

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