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