XML: add a check for a typical case in the xml name space.

IGNORE is a typical placeholder for tags that should not be output, along with NONE. At some point, we should check if both are required, or if NONE is enough…
This commit is contained in:
Thibaut Cuvelier 2021-09-21 01:18:10 +02:00
parent 14ed5b2050
commit 7ee23ca885

View File

@ -836,7 +836,7 @@ void xml::openTag(XMLStream & xs, const std::string & tag, const docstring & att
void xml::closeTag(XMLStream & xs, const docstring & tag, const std::string & tagtype)
{
if (tag.empty() || tag == "NONE")
if (tag.empty() || tag == "NONE" || tag == "IGNORE")
return;
if (tag == "para" || tagtype == "paragraph") // Special case for <para>: always considered as a paragraph.