common
|
convert from NOxxx= to MKxxx=no.
|
1999-02-13 02:54:17 +00:00 |
info
|
convert from NOxxx= to MKxxx=no.
|
1999-02-13 02:54:17 +00:00 |
install-info
|
convert from NOxxx= to MKxxx=no.
|
1999-02-13 02:54:17 +00:00 |
makeinfo
|
convert from NOxxx= to MKxxx=no.
|
1999-02-13 02:54:17 +00:00 |
texindex
|
convert from NOxxx= to MKxxx=no.
|
1999-02-13 02:54:17 +00:00 |
Makefile.inc
|
Build structure for texinfo 3.12.
|
1999-02-11 15:42:13 +00:00 |