|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]|