void inFloat(bool const b) { in_float_ = b; }
/// Runparams that will be used for exporting this file.
OutputParams const & runparams() const { return runparams_; }
+ ///
+ void setHTMLTitle(docstring const & t) { htmltitle_ = t; }
+ ///
+ docstring const & htmlTitle() const { return htmltitle_; }
private:
///
OutputParams const & runparams_;
///
bool in_float_;
+ ///
+ docstring htmltitle_;
};