diff options
Diffstat (limited to 'pkgs/development/tools/misc/texinfo')
| -rw-r--r-- | pkgs/development/tools/misc/texinfo/4.13a.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/tools/misc/texinfo/4.13a.nix b/pkgs/development/tools/misc/texinfo/4.13a.nix index 6eb384f51e31..2e0d020688ea 100644 --- a/pkgs/development/tools/misc/texinfo/4.13a.nix +++ b/pkgs/development/tools/misc/texinfo/4.13a.nix @@ -37,5 +37,6 @@ stdenv.mkDerivation rec { homepage = http://www.gnu.org/software/texinfo/; branch = "4.13"; + platforms = stdenv.lib.platforms.unix; }; } |