fix mkdocs-rss-plugin deps

2024-07-08 16:16:44 +02:00
parent b4a0f8484d
commit 29616a8b5d
1 changed files with 1 additions and 0 deletions
--- a/docs/nix/default.nix
+++ b/docs/nix/default.nix
@@ -26,6 +26,7 @@ pkgs.stdenv.mkDerivation {
      mkdocs-material
      mkdocs-rss-plugin
      mkdocs-macros
+      filelock # FIXME: this should be already provided by mkdocs-rss-plugin
    ]);
  configurePhase = ''
    mkdir -p ./site/reference/cli