Do not show deleted text in the html title

diff --git a/src/Paragraph.cpp b/src/Paragraph.cpp
index 8298576e27d881d70eb8694467716270f4f0fcc0..8b0995220cb9777ea50f1b10492983d6979fc97d 100644 (file)
--- a/src/Paragraph.cpp
+++ b/src/Paragraph.cpp
@@ -1446,7 +1446,7 @@ void Paragraph::Private::validate(LaTeXFeatures & features) const
 
        if (features.runparams().flavor == OutputParams::HTML
            && layout_->htmltitle()) {
-               features.setHTMLTitle(owner_->asString(AS_STR_INSETS));
+               features.setHTMLTitle(owner_->asString(AS_STR_INSETS | AS_STR_SKIPDELETE));
        }
 
        // check the params.