diff options
| author | Glenn Morris | 2012-05-03 23:45:03 -0700 |
|---|---|---|
| committer | Glenn Morris | 2012-05-03 23:45:03 -0700 |
| commit | 8045b9065f59ba0da910cd9bb8dd40f344b5d55f (patch) | |
| tree | 6344b9a5cd6ffd9105ec60e376836aaff65601c8 /doc/misc/ChangeLog | |
| parent | 3c74813afd3a9e596af5ab920e0a75600b132505 (diff) | |
| download | emacs-8045b9065f59ba0da910cd9bb8dd40f344b5d55f.tar.gz emacs-8045b9065f59ba0da910cd9bb8dd40f344b5d55f.zip | |
Give info files the .info extension
Ref http://lists.gnu.org/archive/html/emacs-devel/2012-04/msg00354.html
* configure.in (INFO_EXT, INFO_OPTS): New output variables.
* doc/emacs/Makefile.in (INFO_EXT, INFO_OPTS): New, set by configure.
(info, infoclean): Use $INFO_EXT.
($(infodir)/emacs$(INFO_EXT)): Use $INFO_EXT and $INFO_OPT.
* doc/emacs/makefile.w32-in (INFO_EXT, INFO_OPTS): New.
(INFO_TARGETS): Use $INFO_EXT.
($(infodir)/emacs$(INFO_EXT)): Use $INFO_EXT and $INFO_OPT, and -o.
* doc/lispintro/Makefile.in (INFO_EXT, INFO_OPTS): New, set by configure.
(info, infoclean): Use $INFO_EXT.
(${infodir}/eintr$(INFO_EXT)): Use $INFO_EXT and $INFO_OPT.
* doc/lispintro/makefile.w32-in (INFO_EXT, INFO_OPTS): New.
(INFO_TARGETS, clean): Use $INFO_EXT.
($(infodir)/eintr$(INFO_EXT)): Use $INFO_EXT and $INFO_OPT.
* doc/lispref/Makefile.in (INFO_EXT, INFO_OPTS): New, set by configure.
(info, infoclean): Use $INFO_EXT.
($(infodir)/elisp$(INFO_EXT)): Use $INFO_EXT and $INFO_OPT.
* doc/lispref/makefile.w32-in (INFO_EXT, INFO_OPTS): New.
(info, maintainer-clean): Use $INFO_EXT.
($(infodir)/elisp$(INFO_EXT)): Use $INFO_EXT and $INFO_OPT.
* doc/misc/Makefile.in (INFO_EXT, INFO_OPTS): New, set by configure.
(INFO_TARGETS): Use $INFO_EXT.
Make all rules generating info files use $INFO_EXT, $INFO_OPT, and -o.
* doc/misc/makefile.w32-in (INFO_EXT, INFO_OPTS): New.
(INFO_TARGETS): Use $INFO_EXT.
Make all rules generating info files use $INFO_EXT, $INFO_OPT, and -o.
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 0d6300a1b82..d92e7585b17 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,3 +1,12 @@ | |||
| 1 | 2012-05-04 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * Makefile.in (INFO_EXT, INFO_OPTS): New, set by configure. | ||
| 4 | (INFO_TARGETS): Use $INFO_EXT. | ||
| 5 | Make all rules generating info files use $INFO_EXT, $INFO_OPT, and -o. | ||
| 6 | * makefile.w32-in (INFO_EXT, INFO_OPTS): New. | ||
| 7 | (INFO_TARGETS): Use $INFO_EXT. | ||
| 8 | Make all rules generating info files use $INFO_EXT, $INFO_OPT, and -o. | ||
| 9 | |||
| 1 | 2012-05-02 Glenn Morris <rgm@gnu.org> | 10 | 2012-05-02 Glenn Morris <rgm@gnu.org> |
| 2 | 11 | ||
| 3 | * Makefile.in (echo-info): New phony target, used by top-level. | 12 | * Makefile.in (echo-info): New phony target, used by top-level. |