seb 4a2efdf6fd USE_NEW_TEXINFO is unnecessary now.		2003-08-09 10:49:07 +00:00
..
DESCR
distinfo
Makefile	USE_NEW_TEXINFO is unnecessary now.	2003-08-09 10:49:07 +00:00
PLIST	Convert to USE_NEW_TEXINFO.	2003-07-03 15:32:35 +00:00