From c497f0e3f347f4c53027f9a6c864f3f4aa7cd13a Mon Sep 17 00:00:00 2001
From: zeme-wana <15709674+zeme-wana@users.noreply.github.com>
Date: Wed, 6 Nov 2024 12:02:25 +0100
Subject: [PATCH] Enable Haddock for Agda (#6639)

---
 nix/agda.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/nix/agda.nix b/nix/agda.nix
index cfcb10aced7..34b2123d9f4 100644
--- a/nix/agda.nix
+++ b/nix/agda.nix
@@ -90,7 +90,6 @@ rec {
   # compiler-nix-name handed to us by haskell.nix will be different, so we need
   # to pass it in.
   agda-project-module-patch = { compiler-nix-name }: {
-    packages.Agda.doHaddock = lib.mkForce false;
     packages.Agda.package.buildType = lib.mkForce "Simple";
     packages.Agda.components.library.enableSeparateDataOutput = lib.mkForce true;
     packages.Agda.components.library.postInstall = ''