-
Glenn Morris authored
* 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.
57cff712
* 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.