From 29616a8b5d68abffefd14fd5a74c02c348203cd5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Mon, 8 Jul 2024 16:16:44 +0200
Subject: [PATCH] fix mkdocs-rss-plugin deps

---
 docs/nix/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/nix/default.nix b/docs/nix/default.nix
index 0e16c705a..01dae322f 100644
--- 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