From cbb3c7139fb7994f98ce399d355126b9620ecd23 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stanis=C5=82aw=20Pitucha?= <git@viraptor.info>
Date: Fri, 24 Mar 2023 19:30:47 +1100
Subject: [PATCH] robodoc: fix darwin build

The makefile tried to be clever in Darwin environments, but by accident
included the same files multiple times in the `install` command. This is
not allowed these days.
---
 pkgs/tools/text/robodoc/default.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/pkgs/tools/text/robodoc/default.nix b/pkgs/tools/text/robodoc/default.nix
index 015b76253a83..83881cee29b3 100644
--- a/pkgs/tools/text/robodoc/default.nix
+++ b/pkgs/tools/text/robodoc/default.nix
@@ -15,12 +15,16 @@ stdenv.mkDerivation rec {
     sha256 = "l3prSdaGhOvXmZfCPbsZJNocO7y20zJjLQpajRTJOqE=";
   };
 
+  postConfigure = lib.optionalString stdenv.isDarwin ''
+    substituteInPlace Docs/makefile.am \
+      --replace 'man1_MANS = robodoc.1 robohdrs.1' 'man1_MANS ='
+  '';
+
   nativeBuildInputs = [ autoreconfHook ];
 
   hardeningDisable = [ "format" ];
 
   meta = with lib; {
-    broken = stdenv.isDarwin;
     homepage = "https://github.com/gumpu/ROBODoc";
     description = "Documentation Extraction Tool";
     longDescription = ''