gitMinimal: fix build after PR #86848

In that case it specified $doc output but didn't even create it.
I expect it's better to do it this way instead of creating it
as an empty directory.
(Only the failed builds get rebuilt by this commit.)
This commit is contained in:
Vladimír Čunát 2020-06-09 09:26:10 +02:00
parent dc33419285
commit 0b4afef84a
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -36,7 +36,7 @@ stdenv.mkDerivation {
sha256 = "0j685w6pzkn926z5nf5r8fij4ziipvw4c9yb0wc577nzf4j16rbd";
};
outputs = [ "out" "doc" ];
outputs = [ "out" ] ++ stdenv.lib.optional withManual "doc";
hardeningDisable = [ "format" ];