Juan RP a3931e7dcf texinfo: add patch to fix large info index, properly fix index stuff.		2012-02-14 15:41:36 +01:00
..
texinfo-4.13a-data_types.patch