diff options
| author | Glenn Morris | 2014-06-09 22:11:38 -0400 |
|---|---|---|
| committer | Glenn Morris | 2014-06-09 22:11:38 -0400 |
| commit | 40abffe4c6c6b2d4247eeb1d0e9591e7d6f8e7d2 (patch) | |
| tree | b2347958765b9a7d9ae95ecb6bfccaf8595e0029 /doc/misc/ChangeLog | |
| parent | bb175792b137dde8c4fd47a0e4660395e6e2f77f (diff) | |
| download | emacs-40abffe4c6c6b2d4247eeb1d0e9591e7d6f8e7d2.tar.gz emacs-40abffe4c6c6b2d4247eeb1d0e9591e7d6f8e7d2.zip | |
Get rid of the INFO_EXT variable
It's never been anything more than pointless complexity
* configure.ac (INFO_EXT, INFO_OPTS): Remove output variables.
* Makefile.in (INFO_EXT): Remove and replace by ".info" throughout.
* doc/emacs/Makefile.in (INFO_EXT): Remove and replace by ".info" throughout.
(INFO_OPTS): Set directly rather than with configure.
* doc/lispintro/Makefile.in (INFO_EXT): Remove and replace by ".info" throughout.
(INFO_OPTS): Set directly rather than with configure.
* doc/lispref/Makefile.in (INFO_EXT): Remove and replace by ".info" throughout.
(INFO_OPTS): Set directly rather than with configure.
* doc/misc/Makefile.in (INFO_EXT): Remove and replace by ".info" throughout.
(INFO_OPTS): Set directly rather than with configure.
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index d4bd5e43acb..04df41c7d9a 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2014-06-10 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * Makefile.in (INFO_EXT): Remove and replace by ".info" throughout. | ||
| 4 | (INFO_OPTS): Set directly rather than with configure. | ||
| 5 | |||
| 1 | 2014-06-08 Karl Berry <karl@gnu.org> | 6 | 2014-06-08 Karl Berry <karl@gnu.org> |
| 2 | 7 | ||
| 3 | * doc/info.texi (Help-^L): "mode line", "screenful", | 8 | * doc/info.texi (Help-^L): "mode line", "screenful", |