|
From: | Karl Berry |
Subject: | Re: gendocs.sh and texi2html |
Date: | Fri, 4 May 2007 12:39:26 -0500 |
@c The @documentencoding is needed for makeinfo, but not for texi2html. It should be harmless (if not desirable) for texi2html. If not, it's a bug, I expect Patrice would like to know about it.
[Prev in Thread] | Current Thread | [Next in Thread] |