From 2d45b54ca4a183f2fdcf4b19c895b64fbf620ee8 Mon Sep 17 00:00:00 2001 From: zimbatm Date: Fri, 22 Mar 2024 10:23:40 +0100 Subject: [PATCH] fix https://github.com/numtide/devshell/pull/289#discussion_r1533706614 --- docs/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/default.nix b/docs/default.nix index 755bddde..a432ed00 100644 --- a/docs/default.nix +++ b/docs/default.nix @@ -13,8 +13,8 @@ stdenv.mkDerivation { root = ./.; fileset = fs.unions [ (fs.fileFilter (file: file.hasExt "md") ./src) - (fs.fileFilter (file: true) ./theme) ./book.toml + ./theme ]; };