diff options
| author | Glenn Morris | 2013-07-25 08:46:00 -0700 |
|---|---|---|
| committer | Glenn Morris | 2013-07-25 08:46:00 -0700 |
| commit | 57cff7120613c70198a934bfc94f08714ba2a1a8 (patch) | |
| tree | 23fc0f7165534305e97f3130176fa863d9ced42e /ChangeLog | |
| parent | 6bd128d53d43ac5e6d1a124be4e8781667a5012f (diff) | |
| download | emacs-57cff7120613c70198a934bfc94f08714ba2a1a8.tar.gz emacs-57cff7120613c70198a934bfc94f08714ba2a1a8.zip | |
Add Makefile rules for ido.texi
* doc/misc/Makefile.in (INFO_TARGETS, DVI_TARGETS, PDF_TARGETS): Add ido.
(ido, $(buildinfodir)/ido$(INFO_EXT), ido.dvi, ido.pdf): New rules.
* info/dir: Add ido.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
| @@ -1,5 +1,7 @@ | |||
| 1 | 2013-07-25 Glenn Morris <rgm@gnu.org> | 1 | 2013-07-25 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * info/dir: Add ido. | ||
| 4 | |||
| 3 | * make-dist: Add a --tests option, to include test/. | 5 | * make-dist: Add a --tests option, to include test/. |
| 4 | 6 | ||
| 5 | 2013-07-24 Glenn Morris <rgm@gnu.org> | 7 | 2013-07-24 Glenn Morris <rgm@gnu.org> |