From a4a186d4cfbb6abcfaf8c60d0f017faaf2f6d8e7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Mon, 22 Sep 2008 21:21:39 +0000
Subject: [PATCH] GNU Texinfo 4.13.

svn path=/nixpkgs/trunk/; revision=12901
---
 .../tools/misc/texinfo/default.nix            | 42 ++++++++++++++++---
 pkgs/top-level/all-packages.nix               |  2 +-
 2 files changed, 37 insertions(+), 7 deletions(-)

diff --git a/pkgs/development/tools/misc/texinfo/default.nix b/pkgs/development/tools/misc/texinfo/default.nix
index 2ac6efe6a6f..2168c50bfd5 100644
--- a/pkgs/development/tools/misc/texinfo/default.nix
+++ b/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];
 }
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index c02033728e6..bc34f514961 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/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 {