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	Bring back texindex from the dead. Some ports use it to format their docs.	1999-10-25 10:35:39 +00:00
Makefile	Bring back texindex from the dead. Some ports use it to format their docs.	1999-10-25 10:35:39 +00:00
Makefile.inc