Skip to content

GitLab

Switch branch/tag
Find file BlameHistoryPermalink
  • Glenn Morris's avatar
    Add Makefile rules for ido.texi · 57cff712
    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
ChangeLog 392 KB