docs: document how to run them with docker

www/Dockerfile

@@ -0,0 +1,5 @@
+FROM squidfunk/mkdocs-material
+RUN pip install mkdocs-include-markdown-plugin
+RUN pip install mkdocs-redirects
+RUN pip install mkdocs-minify-plugin
+RUN pip install mkdocs-rss-plugin

www/README.md

@@ -25,6 +25,14 @@ nix develop .#docs
 
 To drop into a shell with all the needed dependencies.
 
+### With Docker
+
+```bash
+cd ./www
+docker build -t material-mkdocs
+docker run --rm -it -p 8000:8000 -v .:/docs material
+```
+
 ## Edit the docs
 
 After installing mkdocs and extensions, build and run the documentation locally: