Thomas Gellekum 23300421c7 Bring back texindex from the dead. Some ports use it to format their docs.		1999-10-25 10:35:39 +00:00
..
doc
info
install-info
libintl
libtxi
makeinfo
texindex
Makefile
Makefile.inc