bug-gnulib
[Top][All Lists]
Advanced

[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





reply via email to

[Prev in Thread] Current Thread [Next in Thread]