From ca56498c45923b444bc39b33aa7de7a1aaf63a6b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sandro=20J=C3=A4ckel?= <sandro.jaeckel@gmail.com>
Date: Mon, 20 Sep 2021 23:19:24 +0200
Subject: [PATCH] Remove overlay to cut down (re)build time

---
 overlay/default.nix | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/overlay/default.nix b/overlay/default.nix
index 4d530172..d3c9cbf8 100644
--- a/overlay/default.nix
+++ b/overlay/default.nix
@@ -1,11 +1,7 @@
 final: prev:
 
 {
-
   bmxd = prev.callPackage ./bmxd.nix { };
 
   pile = prev.callPackage ./pile.nix { };
-
-  # Cut down build time of a Nix-2.4 dependency
-  mdbook = prev.mdbook.overrideAttrs (oa: { doCheck = false; });
 }