diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2015-10-28 18:56:00 +0100 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2015-10-28 18:58:06 +0100 |
| commit | 787f322540cf37c871454d14f8498b71027355dc (patch) | |
| tree | 552a2de4897fd558319fd37e6836fa3d5ceadae7 /pkgs/development/libraries/libmicrohttpd | |
| parent | 17b86fef1efb6c0939d1acee2078d2f24dffb8cb (diff) | |
$docdev fixups: mostly to avoid empty output
... after auto-removing some kinds of files by default.
In some cases I let them be removed and in others I let them be put into
$docdev. That was more due to general indecisiveness on this question
than any reasons in the particular cases.
Diffstat (limited to 'pkgs/development/libraries/libmicrohttpd')
| -rw-r--r-- | pkgs/development/libraries/libmicrohttpd/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/libraries/libmicrohttpd/default.nix b/pkgs/development/libraries/libmicrohttpd/default.nix index 0a056518adbe..f6cd283d424d 100644 --- a/pkgs/development/libraries/libmicrohttpd/default.nix +++ b/pkgs/development/libraries/libmicrohttpd/default.nix @@ -8,7 +8,7 @@ stdenv.mkDerivation rec { sha256 = "17q6v5q0jpg57vylby6rx1qkil72bdx8gij1g9m694gxf5sb6js1"; }; - outputs = [ "dev" "out" "doc" ]; # dev-doc only, I think + outputs = [ "dev" "out" "docdev" ]; buildInputs = [ libgcrypt ]; |