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
