void makeTOCWithDepth(XHTMLStream xs, Toc toc, const OutputParams & op) const;
///
void makeTOCNoDepth(XHTMLStream xs, Toc toc, const OutputParams & op) const;
void makeTOCWithDepth(XHTMLStream xs, Toc toc, const OutputParams & op) const;
///
void makeTOCNoDepth(XHTMLStream xs, Toc toc, const OutputParams & op) const;