* doc/misc/htmlfontify.texi: Miscellaneous fixes and updates.
commitb55349fbd859656ee4747f261f90b56d01d4084c
authorGlenn Morris <rgm@gnu.org>
Fri, 4 Jan 2013 09:39:40 +0000 (4 01:39 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 4 Jan 2013 09:39:40 +0000 (4 01:39 -0800)
tree8e3af4ef9e0c42c895f3702e108e3aa2e7b3a718
parent7fca93e239d479eb24bfbf043c8aa76d34d8879c
* doc/misc/htmlfontify.texi: Miscellaneous fixes and updates.
Set copyright to FSF, update license to GFDL 1.3+.
doc/misc/ChangeLog
doc/misc/htmlfontify.texi