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 14:14:03 +00:00