diff options
author | Sergei Trofimovich <slyich@gmail.com> | 2023-04-16 07:26:39 +0100 |
---|---|---|
committer | Sergei Trofimovich <slyich@gmail.com> | 2023-04-16 07:28:06 +0100 |
commit | e86bbf38ce149ce203882bbca24264ed540fc2a7 (patch) | |
tree | 60f085d901abdda14c1da45781d813c7f61c29d1 /pkgs/tools/misc/file | |
parent | 2f5fa4a6f739fa8ba6c8f4f63dbf5a64a07ac84e (diff) |
file: move headers and mans to "dev" and "man" outputs
Diffstat (limited to 'pkgs/tools/misc/file')
-rw-r--r-- | pkgs/tools/misc/file/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/tools/misc/file/default.nix b/pkgs/tools/misc/file/default.nix index 35ea4e992d887..45f5ed90577f3 100644 --- a/pkgs/tools/misc/file/default.nix +++ b/pkgs/tools/misc/file/default.nix @@ -17,6 +17,8 @@ stdenv.mkDerivation rec { sha256 = "sha256-N1HH+6jbyDHLjXzIr/IQNUWbjOUVXviwiAon0ChHXzs="; }; + outputs = [ "out" "dev" "man" ]; + patches = [ # Backport fix to identification for pyzip files. # Needed for strip-nondeterminism. |