Simon J. Gerraty 9268022b74 Merge from head@274682		2014-11-19 01:07:58 +00:00
..
doc
info	Merge from head@274682	2014-11-19 01:07:58 +00:00
infokey	Merge from head@274682	2014-11-19 01:07:58 +00:00
install-info	Merge from head@274682	2014-11-19 01:07:58 +00:00
libtxi
makeinfo	Merge from head@274682	2014-11-19 01:07:58 +00:00
texindex	Merge from head@274682	2014-11-19 01:07:58 +00:00
Makefile
Makefile.inc