std::string const & type);
///
-void asciiTocList(std::string const &, Buffer const &, std::ostream &);
+void asciiTocList(std::string const &, Buffer const &, odocstream &);
/** Given the cmdName of the TOC param, returns the type used
by ControlToc::getContents() */