bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: gendocs.sh and texi2html


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.





reply via email to

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