[PATCH] gnu: texinfo: Make version 4.13a available

[Mark H Weaver]

This patch adds texinfo-4.13a back to Guix, as an alternative to
texinfo-5.2.

The motivation is that building Guile's manual using texinfo-4.13a takes
about 6 seconds on my Yeeloong, compared with about 12 *minutes* using
texinfo-5.2.  For me, that's intolerable.  I think that anyone with a
slower machine who wants to get work done on a project with a large
texinfo manual will want this.

What do you think?

      Mark

>From ea307b2af2d995b4f37c27e52f5d259131d27fe8 Mon Sep 17 00:00:00 2001
From: Mark H Weaver <address@hidden>
Date: Mon, 10 Feb 2014 02:04:38 -0500
Subject: [PATCH] gnu: texinfo: Make version 4.13a available.

* gnu/packages/texinfo.scm (texinfo-4): New variable.
---
 gnu/packages/texinfo.scm | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/gnu/packages/texinfo.scm b/gnu/packages/texinfo.scm
index 7c753a7..0f21ec3 100644
--- a/gnu/packages/texinfo.scm
+++ b/gnu/packages/texinfo.scm
@@ -50,3 +50,17 @@ package includes both the tools necessary to produce Info 
documents from
 their source and the command-line Info reader.  The emphasis of the language
 is on expressing the content semantically, avoiding physical markup commands.")
     (license gpl3+)))
+
+(define-public texinfo-4
+  (package (inherit texinfo)
+    (version "4.13a")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append
+                    "mirror://gnu/texinfo/texinfo-"
+                    version
+                    ".tar.lzma"))
+              (sha256
+               (base32
+                "1rf9ckpqwixj65bw469i634897xwlgkm5i9g2hv3avl6mv7b0a3d"))))
+    (inputs `(("ncurses" ,ncurses) ("xz" ,xz)))))
-- 
1.8.4