kenji 0f7e57907e docs/mike: add version provider ...

Add `mike`[^mike] as a version provider to the `mkdocs` `material` theme.

[^mike]: https://github.com/jimporter/mike

2025-11-24 07:53:43 +01:00

..

default.nix

docs/mike: add version provider

2025-11-24 07:53:43 +01:00

deploy-docs.nix

Delete old files when deploying docs

2025-08-15 12:04:46 +02:00

flake-module.nix

docs: move generated markdown into a package

2025-10-08 16:37:31 +02:00