seb 56b682547a USE_NEW_TEXINFO is unnecessary now.		2003-08-09 10:59:08 +00:00
..
DESCR
distinfo	Update to version 0.7.10.	2002-11-29 01:27:39 +00:00
Makefile	USE_NEW_TEXINFO is unnecessary now.	2003-08-09 10:59:08 +00:00
PLIST	Convert to USE_NEW_TEXINFO.	2003-08-04 14:27:29 +00:00