[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gendocs.sh and texi2html
From: |
Bruno Haible |
Subject: |
Re: gendocs.sh and texi2html |
Date: |
Fri, 4 May 2007 21:53:35 +0200 |
User-agent: |
KMail/1.5.4 |
Karl Berry wrote:
> @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.
You're right; texi2html accepts it as well. So, it doesn't harm to make it
unconditional.
Bruno