/external/gpl2/texinfo/bin/
../
Makefile
Makefile.inc
info
infokey
install-info
makeinfo
texi2dvi
texindex