GNU Texinfo 4.13.

svn path=/nixpkgs/trunk/; revision=12901

pkgs/development/tools/misc/texinfo/default.nix

@@ -1,10 +1,40 @@
-{stdenv, fetchurl, ncurses}:
+{ stdenv, fetchurl, ncurses, lzma }:
+
+stdenv.mkDerivation rec {
+  name = "texinfo-4.13a";
 
-stdenv.mkDerivation {
-  name = "texinfo-4.11";
   src = fetchurl {
-    url = mirror://gnu/texinfo/texinfo-4.11.tar.bz2;
-    sha256 = "1xzmjbrgf5l9c5ckglgsclalmz32m5nfdkn71b4adiwafx43s0v1";
+    url = "mirror://gnu/texinfo/texinfo-4.13.tar.lzma";
+    sha256 = "1rf9ckpqwixj65bw469i634897xwlgkm5i9g2hv3avl6mv7b0a3d";
+  };
+
+  buildInputs = [ ncurses lzma ];
+
+  unpackCmd = "lzma -d < $src | tar xv";
+
+  doCheck = true;
+
+  meta = {
+    description = "GNU Texinfo, the GNU documentation system";
+
+    longDescription = ''
+      Texinfo is the official documentation format of the GNU project.
+      It was invented by Richard Stallman and Bob Chassell many years
+      ago, loosely based on Brian Reid's Scribe and other formatting
+      languages of the time.  It is used by many non-GNU projects as
+      well.
+
+      Texinfo uses a single source file to produce output in a number
+      of formats, both online and printed (dvi, html, info, pdf, xml,
+      etc.).  This means that instead of writing different documents
+      for online information and another for a printed manual, you
+      need write only one document.  And when the work is revised, you
+      need revise only that one document.  The Texinfo system is
+      well-integrated with GNU Emacs.
+    '';
+
+    license = "GPLv3+";
+
+    homepage = http://www.gnu.org/software/texinfo/;
   };
-  buildInputs = [ncurses];
 }

pkgs/top-level/all-packages.nix

@@ -2434,7 +2434,7 @@ let
   };
 
   texinfo = import ../development/tools/misc/texinfo {
-    inherit fetchurl stdenv ncurses;
+    inherit fetchurl stdenv ncurses lzma;
   };
 
   uisp = import ../development/tools/misc/uisp {