-
Glenn Morris authored
* doc/misc/Makefile.in (INFO_TARGETS, DVI_TARGETS, PDF_TARGETS): Add htmlfontify. (htmlfontify, $(buildinfodir)/htmlfontify$(INFO_EXT)) (htmlfontify.dvi, htmlfontify.pdf): New targets. * doc/misc/makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add htmlfontify. ($(infodir)/htmlfontify$(INFO_EXT), htmlfontify.dvi): New targets. * info/dir: Add htmlfontify.
92d59611