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
..
.gitignore	Only ignore info/*.info	2012-05-05 11:40:49 +02:00
COPYING	Switch to GPLv3.	2007-07-27 07:15:18 +00:00
dir	Add Makefile rules for ido.texi	2013-07-25 08:46:00 -07:00