Re: [cvs] html for @example and @verbatiminclude

[Karl Berry]

Hi Brian,

Thanks for the reports.

    In Mozilla 1.4 the spaces before the final </pre> add an extra line in
    the ouput (i.e. there are two lines between the end of the example and
    the next paragraph)

Here's a patch for that part of it.  Let me know if you find problems.

Will look at the other bug in a bit.

*** insertion.c 14 Oct 2003 14:33:30 -0000      1.28
--- insertion.c 20 Oct 2003 17:00:22 -0000      1.29
***************
*** 915,921 ****
          current_indent -= default_indentation_increment;
  
        if (html)
!         add_word (type == quotation ? "</blockquote>\n" : "</pre>\n");
  
        /* The ending of one of these insertions always marks the
           start of a new paragraph. */
--- 915,928 ----
          current_indent -= default_indentation_increment;
  
        if (html)
!         { /* The complex code in close_paragraph that kills whitespace
!              does not function here, since we've inserted non-whitespace
!              (the </whatever>) before it.  The indentation already got
!              inserted at the end of the last example line, so we have to
!              delete it, or browsers wind up showing an extra blank line.  */
!           kill_self_indent (default_indentation_increment);
!           add_word (type == quotation ? "</blockquote>\n" : "</pre>\n");
!         }
  
        /* The ending of one of these insertions always marks the
           start of a new paragraph. */