StartTag const & tag = pending_tags_.front();
// tabs?
os_ << tag.asTag();
- cr();
tag_stack_.push_back(tag);
pending_tags_.pop_front();
}
closeItemTag(xs, *lastlay);
lastlay = 0;
}
- bool const labelfirst = style.htmllabelfirst();
if (isNormalEnv(style)) {
// in this case, we print the label only for the first
// paragraph (as in a theorem).
xs.cr();
}
} else { // some kind of list
+ bool const labelfirst = style.htmllabelfirst();
if (!labelfirst)
openItemTag(xs, style);
if (style.labeltype == LABEL_MANUAL