Ruslan Ermilov 46f8fdc34e Removed now unused INTERNALSTATICLIB. ... INTERNALLIB now implies NOPIC and NOPROFILE. Removed gratuitous NOMAN.		2002-05-13 11:09:07 +00:00
..
doc
info
infokey	Upgrade to GNU texinfo 4.1.	2002-03-25 13:20:03 +00:00
install-info
libtxi	Removed now unused INTERNALSTATICLIB.	2002-05-13 11:09:07 +00:00
makeinfo	Upgrade to GNU texinfo 4.1.	2002-03-25 13:20:03 +00:00
texindex
Makefile	Upgrade to GNU texinfo 4.1.	2002-03-25 13:20:03 +00:00
Makefile.inc