Michael Raskin be5b32e798 Apparently fix texinfo5 with fresh TeXLive		2013-10-20 19:15:11 +04:00
..
4.9.nix	Add GNU Texinfo 4.9, use it to produce GCC 4.x documentation.	2008-02-21 15:34:56 +00:00
4.13a.nix	Merge branch 'upstream-master' into stdenv-updates	2013-02-19 10:09:39 -05:00
5.1.nix	Apparently fix texinfo5 with fresh TeXLive	2013-10-20 19:15:11 +04:00