Juan RP a3931e7dcf texinfo: add patch to fix large info index, properly fix index stuff.		2012-02-14 15:41:36 +01:00
..
patches	texinfo: add patch to fix large info index, properly fix index stuff.	2012-02-14 15:41:36 +01:00
INSTALL	texinfo: add patch to fix large info index, properly fix index stuff.	2012-02-14 15:41:36 +01:00
REMOVE	texinfo: add patch to fix large info index, properly fix index stuff.	2012-02-14 15:41:36 +01:00
template	texinfo: add patch to fix large info index, properly fix index stuff.	2012-02-14 15:41:36 +01:00
texinfo.rshlibs