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
install-info
libtxi
makeinfo
texindex
Makefile
Makefile.inc