diff options
author | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2017-07-11 12:14:14 +0300 |
---|---|---|
committer | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2017-08-11 21:32:54 +0300 |
commit | 1ff422aa23d3c38089e08bad6e77178d36445215 (patch) | |
tree | 430ce05c575a106c11c78a0c18b939e907612717 /pkgs/development/libraries/mpfr | |
parent | 03d37dc38835b555a2fb89668231205cd974455a (diff) |
treewide: Add man & info outputs where necessary (instead of doc)
Because man & info pages won't be going to $doc after the next commit. Scripted change for the files having one-package-per-file.
Diffstat (limited to 'pkgs/development/libraries/mpfr')
-rw-r--r-- | pkgs/development/libraries/mpfr/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/libraries/mpfr/default.nix b/pkgs/development/libraries/mpfr/default.nix index 4f9a9fb9bd0e7..360ad66b7ce8f 100644 --- a/pkgs/development/libraries/mpfr/default.nix +++ b/pkgs/development/libraries/mpfr/default.nix @@ -12,7 +12,7 @@ stdenv.mkDerivation rec { patches = [ ./upstream.patch ]; - outputs = [ "out" "dev" "doc" ]; + outputs = [ "out" "dev" "doc" "info" ]; # mpfr.h requires gmp.h propagatedBuildInputs = [ gmp ]; |