Add mkdocs autorefs plugin

EOEPCA · Apr 16, 2024 · a5961f2 · a5961f2
1 parent 49eccdd
commit a5961f2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.dockerignore b/.dockerignore
@@ -1,3 +1,4 @@
 
 # Ignore everything - the Dockerfile uses no local files
 *
+!docs/requirements.txt
diff --git a/Dockerfile b/Dockerfile
@@ -1,3 +1,6 @@
 FROM squidfunk/mkdocs-material
-RUN pip install mike
+COPY ./docs/requirements.txt /tmp/requirements.txt
+RUN pip install --no-cache-dir -U -r /tmp/requirements.txt \
+  && rm /tmp/requirements.txt
+RUN pip install --no-cache-dir -U mike
 RUN git config --global --add safe.directory /docs