|
doc
|
Fix path to makeinfo.
|
1995-01-24 04:13:34 +00:00 |
|
info
|
Clean up compilation warnings.
|
1995-08-23 05:37:24 +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 |
