diff options
| author | Glenn Morris | 2013-01-04 01:43:08 -0800 |
|---|---|---|
| committer | Glenn Morris | 2013-01-04 01:43:08 -0800 |
| commit | 92d596112248baecbe6789d450d8e8ea405de19b (patch) | |
| tree | fde6934fd2726857f80fb6711594344f759bbbb6 /doc/misc/ChangeLog | |
| parent | f99ced353f1e6d41f085d6325b0182ed2d644753 (diff) | |
| download | emacs-92d596112248baecbe6789d450d8e8ea405de19b.tar.gz emacs-92d596112248baecbe6789d450d8e8ea405de19b.zip | |
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.
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index a7afa9a1cd4..343e1046d10 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,5 +1,12 @@ | |||
| 1 | 2013-01-04 Glenn Morris <rgm@gnu.org> | 1 | 2013-01-04 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * Makefile.in (INFO_TARGETS, DVI_TARGETS, PDF_TARGETS): | ||
| 4 | Add htmlfontify. | ||
| 5 | (htmlfontify, $(buildinfodir)/htmlfontify$(INFO_EXT)) | ||
| 6 | (htmlfontify.dvi, htmlfontify.pdf): New targets. | ||
| 7 | * makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add htmlfontify. | ||
| 8 | ($(infodir)/htmlfontify$(INFO_EXT), htmlfontify.dvi): New targets. | ||
| 9 | |||
| 3 | * htmlfontify.texi: Miscellaneous fixes and updates. | 10 | * htmlfontify.texi: Miscellaneous fixes and updates. |
| 4 | Set copyright to FSF, update license to GFDL 1.3+. | 11 | Set copyright to FSF, update license to GFDL 1.3+. |
| 5 | 12 | ||