Fix bug reported by Kornel.

The old code was actually wrong. Obviously, this should be set only
if we actually do issue the title command.
This commit is contained in:
Richard Kimberly Heck 2020-03-20 15:25:47 -04:00
parent e91b2e2fbe
commit 438f15da21

View File

@ -1616,11 +1616,11 @@ void latexParagraphs(Buffer const & buf,
), layout.name()));
}
} else if (!runparams.issued_title_cmd) {
runparams.issued_title_cmd = true;
if (tclass.titletype() == TITLE_ENVIRONMENT) {
os << "\\begin{"
<< from_ascii(tclass.titlename())
<< "}\n";
runparams.issued_title_cmd = true;
}
}
} else if (runparams.issued_title_cmd &&