From mboxrd@z Thu Jan 1 00:00:00 1970 From: John Darrington Subject: Re: [PATCH] gnu: texinfo: Make version 4.13a available Date: Mon, 10 Feb 2014 17:55:06 +0100 Message-ID: <20140210165506.GB721@jocasta.intra> References: <8761on2fo1.fsf@netris.org> <87bnyfvtc4.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="ADZbWkCsHQ7r3kzd" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:53518) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WCu8c-0004W1-UM for guix-devel@gnu.org; Mon, 10 Feb 2014 11:55:23 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WCu8Y-0001FV-Np for guix-devel@gnu.org; Mon, 10 Feb 2014 11:55:18 -0500 Content-Disposition: inline In-Reply-To: <87bnyfvtc4.fsf@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Ludovic Court??s Cc: guix-devel@gnu.org --ADZbWkCsHQ7r3kzd Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Mon, Feb 10, 2014 at 05:13:47PM +0100, Ludovic Court??s wrote: Mark H Weaver skribis: =20 > 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 t= akes > about 6 seconds on my Yeeloong, compared with about 12 *minutes* usi= ng > texinfo-5.2. =20 Ouch. My laptop is faster, but yeah, I sympathize. :-) =20 I wonder about the environmental footprint of the switch to Texinfo 5. =20 I think having 4.x in guix is also a good idea, since there are still packa= ges in the wild whose manuals don't build with 5.x J' --=20 PGP Public key ID: 1024D/2DE827B3=20 fingerprint =3D 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 See http://sks-keyservers.net or any PGP keyserver for public key. --ADZbWkCsHQ7r3kzd Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlL5BGoACgkQimdxnC3oJ7OFqwCfQoxxxHtBzeFtIU34oWen0jnb 0VQAn2NqG42dTULwYIcKtUH0NRKdO9PX =Lu7o -----END PGP SIGNATURE----- --ADZbWkCsHQ7r3kzd--