file: move headers and mans to "dev" and "man" outputs

2023-04-16 07:26:39 +01:00
parent 2f5fa4a6f7
commit e86bbf38ce
1 changed files with 2 additions and 0 deletions
@@ -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.