Fix info command

The "info" command has been broken on NixOS since 457fdb3842 (proving that nobody uses info).
2014-07-08 15:17:38 +02:00
parent a1b27f9806
commit 973c9abdbe
3 changed files with 6 additions and 4 deletions
--- a/pkgs/development/tools/misc/texinfo/5.2.nix
+++ b/pkgs/development/tools/misc/texinfo/5.2.nix
@@ -22,6 +22,7 @@ stdenv.mkDerivation rec {
    homepage = "http://www.gnu.org/software/texinfo/";
    description = "GNU Texinfo, the GNU documentation system";
    license = stdenv.lib.licenses.gpl3Plus;
+    platforms = stdenv.lib.platforms.all;

    longDescription = ''
      Texinfo is the official documentation format of the GNU project.
--- a/pkgs/top-level/release.nix
+++ b/pkgs/top-level/release.nix
@@ -295,7 +295,6 @@ let
      texLive = linux;
      texLiveBeamer = linux;
      texLiveExtra = linux;
-      texinfo = all;
      tightvnc = linux;
      time = linux;
      tinycc = linux;