On Mon, Feb 10, 2014 at 05:13:47PM +0100, Ludovic Court??s wrote: Mark H Weaver skribis: > 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. Ouch. My laptop is faster, but yeah, I sympathize. :-) I wonder about the environmental footprint of the switch to Texinfo 5. I think having 4.x in guix is also a good idea, since there are still packages in the wild whose manuals don't build with 5.x J' -- PGP Public key ID: 1024D/2DE827B3 fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 See http://sks-keyservers.net or any PGP keyserver for public key.