int docbook(odocstream &, OutputParams const &) const;
/// At the moment, this does nothing. See development/HTML.notes
/// for some remarks on what could be done.
int docbook(odocstream &, OutputParams const &) const;
/// At the moment, this does nothing. See development/HTML.notes
/// for some remarks on what could be done.