On Sun, Jan 25, 2009 at 06:31:43PM -0600, Karl Berry wrote: > [1] http://lists.gnu.org/archive/html/bug-texinfo/2005-03/msg00004.html > > Patrice, what is texi2html's behavior in this regard?
It looks good. It is not completly clear that @noindent should suppress the end of line, but since it seems to be what it does historically lets not change it. -- Pat
