seb 8d15907ec2 USE_NEW_TEXINFO is unnecessary now.		2003-08-09 10:38:23 +00:00
..
DESCR	Remove version number from DESCR.	2002-08-15 09:35:31 +00:00
distinfo
Makefile	USE_NEW_TEXINFO is unnecessary now.	2003-08-09 10:38:23 +00:00
PLIST	Convert to USE_NEW_TEXINFO.	2003-06-23 11:11:09 +00:00