Glenn Morris 92d5961122 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.

2013-01-04 01:43:08 -08: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 htmlfontify manual to build process

2013-01-04 01:43:08 -08:00