///
docstring xhtml(XHTMLStream &, OutputParams const &) const;
///
- void updateBuffer(ParIterator const & it, UpdateType);
+ void updateBuffer(ParIterator const & it, UpdateType, bool const deleted = false);
///
void addToToc(DocIterator const & di, bool output_active,
UpdateType utype, TocBackend & backend) const;