From 3f17a6c12177242fe48f4b3e90fbcf40de28f4c3 Mon Sep 17 00:00:00 2001 From: Johannes Kirschbauer Date: Tue, 16 Sep 2025 16:07:36 +0200 Subject: [PATCH] docs: remove unused plugin --- docs/mkdocs.yml | 1 - docs/nix/default.nix | 1 - 2 files changed, 2 deletions(-) diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index 23a612eb9..b54d93993 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -222,7 +222,6 @@ extra: plugins: - search - - macros - redoc-tag - redirects: redirect_maps: diff --git a/docs/nix/default.nix b/docs/nix/default.nix index 559ff0174..ed717273b 100644 --- a/docs/nix/default.nix +++ b/docs/nix/default.nix @@ -37,7 +37,6 @@ pkgs.stdenv.mkDerivation { ++ (with pkgs.python3Packages; [ mkdocs mkdocs-material - mkdocs-macros mkdocs-redoc-tag mkdocs-redirects ]);