diff options
| author | Glenn Morris <rgm@gnu.org> | 2014-06-09 22:11:38 -0400 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2014-06-09 22:11:38 -0400 |
| commit | 40abffe4c6c6b2d4247eeb1d0e9591e7d6f8e7d2 (patch) | |
| tree | b2347958765b9a7d9ae95ecb6bfccaf8595e0029 /Makefile.in | |
| parent | bb175792b137dde8c4fd47a0e4660395e6e2f77f (diff) | |
| download | emacs-40abffe4c6c6b2d4247eeb1d0e9591e7d6f8e7d2.tar.gz | |
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 'Makefile.in')
| -rw-r--r-- | Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index ffee1ec131d..5b53ccd1ea3 100644 --- a/Makefile.in +++ b/Makefile.in @@ -146,8 +146,7 @@ man1dir=$(mandir)/man1 # Where to install and expect the info files describing Emacs. infodir=@infodir@ # Info files not in the doc/misc directory (we get those via make echo-info). -INFO_EXT=@INFO_EXT@ -INFO_NONMISC=emacs$(INFO_EXT) eintr$(INFO_EXT) elisp$(INFO_EXT) +INFO_NONMISC=emacs.info eintr.info elisp.info # If no makeinfo was found and configured --without-makeinfo, "no"; else "yes". HAVE_MAKEINFO=@HAVE_MAKEINFO@ |