Literal HTML export and paragraphs

[Ulf Stegemann <ulf-news@zeitform.de>]

Hi,

not quite sure if that's a bug but I've just noticed that literal HTML
export with `#+HTML' or `#+BEGIN_HTML ...' suppresses paragraph markups
whenever literal export appears at the end of a paragraph.  An org file
like this

,----
| line 1
| line 2
|
| line 3
`----

is exported to

,----
| <p>
| line 1
| line 2
| </p>
| <p>
| line 3
| </p>
`----

while an org file like this

,----
| line 1
| #+HTML: <strong>line 2</strong>
|
| line 3
`----

is exported to

,----
| <p>
| line 1
| <strong>line 2</strong>
|
| line 3
| </p>
`----

This is probably not a major thing but it may lead to invalid HTML code.
Suppose `line 3' is replaced by e.g. an example block (which inserts its
own p element) then a p element would appear inside another p element
which is not allowed.

Ulf