seb 56b682547a USE_NEW_TEXINFO is unnecessary now.		2003-08-09 10:59:08 +00:00
..
DESCR
distinfo
Makefile	USE_NEW_TEXINFO is unnecessary now.	2003-08-09 10:59:08 +00:00
MESSAGE
PLIST	Convert to USE_NEW_TEXINFO.	2003-08-05 22:29:40 +00:00