Update docs

metaborg · Jul 6, 2024 · 7f2fb55 · 7f2fb55
1 parent 38e3876
commit 7f2fb55
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 8 deletions.
diff --git a/docs/Dockerfile b/docs/Dockerfile
@@ -16,11 +16,7 @@ COPY ${TOOLS} tools/
 COPY ${REQUIREMENTS} requirements.txt
 RUN pip install --no-cache-dir -r requirements.txt \
  && apk del .build gcc musl-dev \
- && rm -rf /tmp/* /root/.cache \
- && find ${PACKAGES} \
-      -type f \
-      -path "*/__pycache__/*" \
-      -exec rm -f {} \;
+ && rm -rf /tmp/* /root/.cache
 RUN <<FILE cat > /root/.gitconfig
 [safe]
      directory = /repo

diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,5 +1,5 @@
 mkdocs==1.6.0
-mkdocs-material==9.5.20
+mkdocs-material==9.5.28
 mkdocs-macros-plugin==1.0.5
-mkdocs-git-revision-date-localized-plugin==1.2.5
-./tools/
+mkdocs-git-revision-date-localized-plugin==1.2.6
+./tools/