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

MAN[1-9] -> MAN.

2001-03-27 14:59:06 +00:00

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

…