seb 8d15907ec2 USE_NEW_TEXINFO is unnecessary now.		2003-08-09 10:38:23 +00:00
..
patches	Also provide a patch file for make.info and not only	2003-07-10 22:40:31 +00:00
DESCR	Improve description.	2003-08-07 07:17:11 +00:00
distinfo	Also provide a patch file for make.info and not only	2003-07-10 22:40:31 +00:00
Makefile	USE_NEW_TEXINFO is unnecessary now.	2003-08-09 10:38:23 +00:00
PLIST	Convert to USE_NEW_TEXINFO.	2003-06-23 10:57:27 +00:00