extra blank line in html @example in indented environments

[Brian Gough]

Hello,

I noticed a minor glitch in makeinfo's html output -- when there is an
example inside an indented environment the closing </pre> is indented
with whitespace, which adds an extra blank line.

See here for an example
 
http://www.gnu.org/software/gsl/manual/html_node/Complex-numbers.html#Complex-numbers
There is an extra blank line when the browser displays the example in
the GSL_SET_COMPLEX macro definition. I've tested this in various
versions of Mozilla, Konqueror and Lynx.

Using kill_self_indent (-1) fixes the problem.  The patch below is
against texinfo cvs.

-- 
best regards,

Brian Gough

Network Theory Ltd,
Publishing Free Software Manuals --- http://www.network-theory.co.uk/

--- insertion.c 2006-04-11 16:24:52.000000000 +0100
+++ insertion.c.new     2006-04-11 16:24:40.000000000 +0100
@@ -1227,7 +1227,7 @@
              (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);
+          kill_self_indent (-1);
           add_html_block_elt (type == quotation
               ? "</blockquote>\n" : "</pre>\n");
         }

----------------------------------------------------------------------

@setfilename test

@deffn test
this is a function
this is an example
@example
aaa
@end example
@end deffn

Example:

....
<blockquote><p>this is a function
this is an example
     <pre class="example">          aaa
     </pre>
        </blockquote></div>
....

to avoid trailing blank line should be:

....
<blockquote><p>this is a function
this is an example
     <pre class="example">          aaa
</pre>
        </blockquote></div>
....