seb 4a2efdf6fd USE_NEW_TEXINFO is unnecessary now.		2003-08-09 10:49:07 +00:00
..
DESCR
distinfo	Update to 3.7.3, from Jim Bernard in PR 19663.	2003-03-05 14:01:25 +00:00
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