|
doc
|
Fix path to makeinfo.
|
1995-01-24 04:13:34 +00:00 |
|
info
|
Re-initialize the terminal after ^Z / fg.
|
1995-09-10 13:04:45 +00:00 |
|
info-files
|
Change install' to ${INSTALL}' as usual.
|
1995-07-25 00:12:06 +00:00 |
|
makedoc
|
Remove trailing whitespace.
|
1995-05-30 05:05:38 +00:00 |
|
makeinfo
|
Remove trailing whitespace.
|
1995-05-30 05:05:38 +00:00 |
|
texindex
|
Remove trailing whitespace.
|
1995-05-30 05:05:38 +00:00 |
|
Makefile
|
Infopages cleanup
|
1995-01-22 22:45:07 +00:00 |
