Add Makefile rules for ido.texi
authorGlenn Morris <rgm@gnu.org>
Thu, 25 Jul 2013 15:46:00 +0000 (08:46 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 25 Jul 2013 15:46:00 +0000 (08:46 -0700)
commit57cff7120613c70198a934bfc94f08714ba2a1a8
tree23fc0f7165534305e97f3130176fa863d9ced42e
parent6bd128d53d43ac5e6d1a124be4e8781667a5012f
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.
ChangeLog
doc/misc/ChangeLog
doc/misc/Makefile.in
info/dir