Glenn Morris 57cff71206 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.

2013-07-25 08:46:00 -07:00

5.4 KiB

Raw History

View raw