Invalid HTML

[Jesper Harder]

[With CVS makeinfo]

This texinfo input:

======================================================================
@defopt foo-bar
This is
@example
foo
@end example
or
@example
bar
@end example
@end defopt
======================================================================

produces the following HTML (with makeinfo --html):

======================================================================
<div class="defun">
&mdash; User Option: <b>foo-bar</b><var><a 
name="index-foo_002dbar-1"></a></var><br>
<blockquote><p>This is
     <pre class="example">          foo
     </pre>
        or
     <pre class="example">          bar
     </pre>
        </p></blockquote></div>
======================================================================

The problem is the closing </p> tag, which is invalid because it
doesn't match any open <p> tags.

Note that the first <p> is automatically closed by <pre>, because
<pre> is a block element.  E.g. something like:

   <p>foo<pre>bar</pre></p>

is parsed as 

   <p>foo</p><pre>bar</pre></p>

-- 
Cheers,
Jesper Harder