Jean-Marc Zucconi d6cfd19709 Add one more file. Delete the makeindx directory at deinstall time.		2000-05-10 01:27:38 +00:00
..
distinfo
Makefile
pkg-comment
pkg-descr
pkg-plist	Add one more file. Delete the makeindx directory at deinstall time.	2000-05-10 01:27:38 +00:00