Re: new paragraph after @end table

[Karl Berry]

Hi Kevin,

    Whereas I might have expected the "subsequent text" to be a new
    paragraph (which is what happens with texi2dvi).

Me too :).

Here's a partial fix, which at least inserts the line break.  However,
it doesn't add the blank line, because if it did that we'd end up with
two blank lines.  Fixing that isn't so easy :(.

So, bottom line, you'll want to add the blank line in the source
document.  (The Texinfo manual does mention this glitch in the `Tips'
section, for what it's worth.)

Thanks for the report,
karl


*** insertion.c.~1.13.~ Tue Nov 26 17:10:46 2002
--- insertion.c Thu Jan  2 15:36:51 2003
***************
*** 901,906 ****
--- 902,908 ----
        current_indent -= default_indentation_increment;
        if (html)
          add_word ("</dl>\n");
+       close_insertion_paragraph ();
        break;
  
      case itemize: