| commit | 92d596112248baecbe6789d450d8e8ea405de19b | |
| author | Glenn Morris <rgm@gnu.org> | |
| Fri, 4 Jan 2013 09:43:08 +0000 (4 01:43 -0800) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Fri, 4 Jan 2013 09:43:08 +0000 (4 01:43 -0800) | ||
| tree | fde6934fd2726857f80fb6711594344f759bbbb6 | treesnapshot (tar.gz zip) |
| parent | f99ced353f1e6d41f085d6325b0182ed2d644753 | commitdiff |
Add htmlfontify manual to build process
* 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.
* 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.
| ChangeLog | diffblobblamehistory | |
| doc/misc/ChangeLog | diffblobblamehistory | |
| doc/misc/Makefile.in | diffblobblamehistory | |
| doc/misc/makefile.w32-in | diffblobblamehistory | |
| info/dir | diffblobblamehistory |