Michael Raskin be5b32e798 Apparently fix texinfo5 with fresh TeXLive		2013-10-20 19:15:11 +04:00
..
4.9.nix
4.13a.nix
5.1.nix	Apparently fix texinfo5 with fresh TeXLive	2013-10-20 19:15:11 +04:00