]> git.lyx.org Git - features.git/blobdiff - src/output_docbook.cpp
DocBook: streamline code to handle abstracts.
[features.git] / src / output_docbook.cpp
index 432b2e710903c2222ddbefd48b0f45a64591c58e..38bcf05d3862d6f222f3397bd7005dd1995a522e 100644 (file)
 
 #include <config.h>
 
-#include "output_docbook.h"
-
 #include "Buffer.h"
 #include "buffer_funcs.h"
 #include "BufferParams.h"
-#include "Counters.h"
 #include "Font.h"
-#include "Layout.h"
-#include "OutputParams.h"
+#include "InsetList.h"
 #include "Paragraph.h"
 #include "ParagraphList.h"
 #include "ParagraphParameters.h"
-#include "sgml.h"
+#include "xml.h"
 #include "Text.h"
 #include "TextClass.h"
 
+#include "insets/InsetBibtex.h"
+#include "insets/InsetBibitem.h"
+#include "insets/InsetLabel.h"
+#include "insets/InsetNote.h"
+
 #include "support/lassert.h"
-#include "support/debug.h"
-#include "support/lstrings.h"
 
-#include <boost/next_prior.hpp>
+#include <stack>
+#include <iostream>
+#include <algorithm>
+#include <sstream>
 
 using namespace std;
 using namespace lyx::support;
@@ -40,331 +42,1116 @@ namespace lyx {
 
 namespace {
 
-ParagraphList::const_iterator searchParagraph(
-       ParagraphList::const_iterator p,
-  ParagraphList::const_iterator const & pend)
+std::string fontToDocBookTag(xml::FontTypes type)
 {
-       for (++p; p != pend && p->layout().latextype == LATEX_PARAGRAPH; ++p)
-               ;
+       switch (type) {
+       case xml::FontTypes::FT_EMPH:
+       case xml::FontTypes::FT_BOLD:
+               return "emphasis";
+       case xml::FontTypes::FT_NOUN:
+               return "person";
+       case xml::FontTypes::FT_UBAR:
+       case xml::FontTypes::FT_WAVE:
+       case xml::FontTypes::FT_DBAR:
+       case xml::FontTypes::FT_SOUT:
+       case xml::FontTypes::FT_XOUT:
+       case xml::FontTypes::FT_ITALIC:
+       case xml::FontTypes::FT_UPRIGHT:
+       case xml::FontTypes::FT_SLANTED:
+       case xml::FontTypes::FT_SMALLCAPS:
+       case xml::FontTypes::FT_ROMAN:
+       case xml::FontTypes::FT_SANS:
+               return "emphasis";
+       case xml::FontTypes::FT_TYPE:
+               return "code";
+       case xml::FontTypes::FT_SIZE_TINY:
+       case xml::FontTypes::FT_SIZE_SCRIPT:
+       case xml::FontTypes::FT_SIZE_FOOTNOTE:
+       case xml::FontTypes::FT_SIZE_SMALL:
+       case xml::FontTypes::FT_SIZE_NORMAL:
+       case xml::FontTypes::FT_SIZE_LARGE:
+       case xml::FontTypes::FT_SIZE_LARGER:
+       case xml::FontTypes::FT_SIZE_LARGEST:
+       case xml::FontTypes::FT_SIZE_HUGE:
+       case xml::FontTypes::FT_SIZE_HUGER:
+       case xml::FontTypes::FT_SIZE_INCREASE:
+       case xml::FontTypes::FT_SIZE_DECREASE:
+               return "emphasis";
+       default:
+               return "";
+       }
+}
+
+
+string fontToRole(xml::FontTypes type)
+{
+       // Specific fonts are achieved with roles. The only common ones are "" for basic emphasis,
+       // and "bold"/"strong" for bold. With some specific options, other roles are copied into
+       // HTML output (via the DocBook XSLT sheets); otherwise, if not recognised, they are just ignored.
+       // Hence, it is not a problem to have many roles by default here.
+       // See https://www.sourceware.org/ml/docbook/2003-05/msg00269.html
+       switch (type) {
+       case xml::FontTypes::FT_ITALIC:
+       case xml::FontTypes::FT_EMPH:
+               return "";
+       case xml::FontTypes::FT_BOLD:
+               return "bold";
+       case xml::FontTypes::FT_NOUN: // Outputs a <person>
+       case xml::FontTypes::FT_TYPE: // Outputs a <code>
+               return "";
+       case xml::FontTypes::FT_UBAR:
+               return "underline";
+
+       // All other roles are non-standard for DocBook.
+
+       case xml::FontTypes::FT_WAVE:
+               return "wave";
+       case xml::FontTypes::FT_DBAR:
+               return "dbar";
+       case xml::FontTypes::FT_SOUT:
+               return "sout";
+       case xml::FontTypes::FT_XOUT:
+               return "xout";
+       case xml::FontTypes::FT_UPRIGHT:
+               return "upright";
+       case xml::FontTypes::FT_SLANTED:
+               return "slanted";
+       case xml::FontTypes::FT_SMALLCAPS:
+               return "smallcaps";
+       case xml::FontTypes::FT_ROMAN:
+               return "roman";
+       case xml::FontTypes::FT_SANS:
+               return "sans";
+       case xml::FontTypes::FT_SIZE_TINY:
+               return "tiny";
+       case xml::FontTypes::FT_SIZE_SCRIPT:
+               return "size_script";
+       case xml::FontTypes::FT_SIZE_FOOTNOTE:
+               return "size_footnote";
+       case xml::FontTypes::FT_SIZE_SMALL:
+               return "size_small";
+       case xml::FontTypes::FT_SIZE_NORMAL:
+               return "size_normal";
+       case xml::FontTypes::FT_SIZE_LARGE:
+               return "size_large";
+       case xml::FontTypes::FT_SIZE_LARGER:
+               return "size_larger";
+       case xml::FontTypes::FT_SIZE_LARGEST:
+               return "size_largest";
+       case xml::FontTypes::FT_SIZE_HUGE:
+               return "size_huge";
+       case xml::FontTypes::FT_SIZE_HUGER:
+               return "size_huger";
+       case xml::FontTypes::FT_SIZE_INCREASE:
+               return "size_increase";
+       case xml::FontTypes::FT_SIZE_DECREASE:
+               return "size_decrease";
+       default:
+               return "";
+       }
+}
+
 
-       return p;
+string fontToAttribute(xml::FontTypes type) {
+       // If there is a role (i.e. nonstandard use of a tag), output the attribute. Otherwise, the sheer tag is sufficient
+       // for the font.
+       string role = fontToRole(type);
+       if (!role.empty()) {
+               return "role='" + role + "'";
+       } else {
+               return "";
+       }
 }
 
 
-ParagraphList::const_iterator searchCommand(
-               ParagraphList::const_iterator p,
-               ParagraphList::const_iterator const & pend)
+// Convenience functions to open and close tags. First, very low-level ones to ensure a consistent new-line behaviour.
+// Block style:
+//       Content before
+//       <blocktag>
+//         Contents of the block.
+//       </blocktag>
+//       Content after
+// Paragraph style:
+//       Content before
+//         <paratag>Contents of the paragraph.</paratag>
+//       Content after
+// Inline style:
+//    Content before<inlinetag>Contents of the paragraph.</inlinetag>Content after
+
+void openInlineTag(XMLStream & xs, const std::string & tag, const std::string & attr)
 {
-       Layout const & bstyle = p->layout();
+       xs << xml::StartTag(tag, attr);
+}
 
-       for (++p; p != pend; ++p) {
-               Layout const & style = p->layout();
-               if (style.latextype == LATEX_COMMAND
-                               && style.commanddepth <= bstyle.commanddepth)
-                       return p;
+
+void closeInlineTag(XMLStream & xs, const std::string & tag)
+{
+       xs << xml::EndTag(tag);
+}
+
+
+void openParTag(XMLStream & xs, const std::string & tag, const std::string & attr)
+{
+       if (!xs.isLastTagCR())
+               xs << xml::CR();
+       xs << xml::StartTag(tag, attr);
+}
+
+
+void closeParTag(XMLStream & xs, const std::string & tag)
+{
+       xs << xml::EndTag(tag);
+       xs << xml::CR();
+}
+
+
+void openBlockTag(XMLStream & xs, const std::string & tag, const std::string & attr)
+{
+       if (!xs.isLastTagCR())
+               xs << xml::CR();
+       xs << xml::StartTag(tag, attr);
+       xs << xml::CR();
+}
+
+
+void closeBlockTag(XMLStream & xs, const std::string & tag)
+{
+       if (!xs.isLastTagCR())
+               xs << xml::CR();
+       xs << xml::EndTag(tag);
+       xs << xml::CR();
+}
+
+
+void openTag(XMLStream & xs, const std::string & tag, const std::string & attr, const std::string & tagtype)
+{
+       if (tag.empty() || tag == "NONE") // Common check to be performed elsewhere, if it was not here.
+               return;
+
+       if (tag == "para" || tagtype == "paragraph") // Special case for <para>: always considered as a paragraph.
+               openParTag(xs, tag, attr);
+       else if (tagtype == "block")
+               openBlockTag(xs, tag, attr);
+       else if (tagtype == "inline")
+               openInlineTag(xs, tag, attr);
+       else
+               xs.writeError("Unrecognised tag type '" + tagtype + "' for '" + tag + " " + attr + "'");
+}
+
+
+void closeTag(XMLStream & xs, const std::string & tag, const std::string & tagtype)
+{
+       if (tag.empty() || tag == "NONE")
+               return;
+
+       if (tag == "para" || tagtype == "paragraph") // Special case for <para>: always considered as a paragraph.
+               closeParTag(xs, tag);
+       else if (tagtype == "block")
+               closeBlockTag(xs, tag);
+       else if (tagtype == "inline")
+               closeInlineTag(xs, tag);
+       else
+               xs.writeError("Unrecognised tag type '" + tagtype + "' for '" + tag + "'");
+}
+
+
+// Higher-level convenience functions.
+
+void openParTag(XMLStream & xs, const Paragraph * par, const Paragraph * prevpar)
+{
+       Layout const & lay = par->layout();
+
+       if (par == prevpar)
+               prevpar = nullptr;
+
+       // When should the wrapper be opened here? Only if the previous paragraph has the SAME wrapper tag
+       // (usually, they won't have the same layout) and the CURRENT one allows merging.
+       // The main use case is author information in several paragraphs: if the name of the author is the
+       // first paragraph of an author, then merging with the previous tag does not make sense. Say the
+       // next paragraph is the affiliation, then it should be output in the same <author> tag (different
+       // layout, same wrapper tag).
+       bool openWrapper = lay.docbookwrappertag() != "NONE";
+       if (prevpar != nullptr) {
+               Layout const & prevlay = prevpar->layout();
+               if (prevlay.docbookwrappertag() != "NONE") {
+                       openWrapper = prevlay.docbookwrappertag() == lay.docbookwrappertag()
+                                     && !lay.docbookwrappermergewithprevious();
+               }
        }
-       return pend;
+
+       // Main logic.
+       if (openWrapper)
+               openTag(xs, lay.docbookwrappertag(), lay.docbookwrapperattr(), lay.docbookwrappertagtype());
+
+       const string & tag = lay.docbooktag();
+       if (tag != "NONE") {
+               auto xmltag = xml::ParTag(tag, lay.docbookattr());
+               if (!xs.isTagOpen(xmltag, 1)) // Don't nest a paragraph directly in a paragraph.
+                       // TODO: required or not?
+                       // TODO: avoid creating a ParTag object just for this query...
+                       openTag(xs, lay.docbooktag(), lay.docbookattr(), lay.docbooktagtype());
+       }
+
+       openTag(xs, lay.docbookitemtag(), lay.docbookitemattr(), lay.docbookitemtagtype());
+       openTag(xs, lay.docbookiteminnertag(), lay.docbookiteminnerattr(), lay.docbookiteminnertagtype());
+}
+
+
+void closeParTag(XMLStream & xs, Paragraph const * par, Paragraph const * nextpar)
+{
+       if (par == nextpar)
+               nextpar = nullptr;
+
+       // See comment in openParTag.
+       Layout const & lay = par->layout();
+       bool closeWrapper = lay.docbookwrappertag() != "NONE";
+       if (nextpar != nullptr) {
+               Layout const & nextlay = nextpar->layout();
+               if (nextlay.docbookwrappertag() != "NONE") {
+                       closeWrapper = nextlay.docbookwrappertag() == lay.docbookwrappertag()
+                                      && !nextlay.docbookwrappermergewithprevious();
+               }
+       }
+
+       // Main logic.
+       closeTag(xs, lay.docbookiteminnertag(), lay.docbookiteminnertagtype());
+       closeTag(xs, lay.docbookitemtag(), lay.docbookitemtagtype());
+       closeTag(xs, lay.docbooktag(), lay.docbooktagtype());
+       if (closeWrapper)
+               closeTag(xs, lay.docbookwrappertag(), lay.docbookwrappertagtype());
+}
+
+
+void openLabelTag(XMLStream & xs, Layout const & lay) // Mostly for definition lists.
+{
+       openTag(xs, lay.docbookitemlabeltag(), lay.docbookitemlabelattr(), lay.docbookitemlabeltagtype());
+}
+
+
+void closeLabelTag(XMLStream & xs, Layout const & lay)
+{
+       closeTag(xs, lay.docbookitemlabeltag(), lay.docbookitemlabeltagtype());
+}
+
+
+void openItemTag(XMLStream & xs, Layout const & lay)
+{
+       openTag(xs, lay.docbookitemtag(), lay.docbookitemattr(), lay.docbookitemtagtype());
+}
+
+
+void closeItemTag(XMLStream & xs, Layout const & lay)
+{
+       closeTag(xs, lay.docbookitemtag(), lay.docbookitemtagtype());
+}
+
+
+ParagraphList::const_iterator makeAny(Text const &,
+                                             Buffer const &,
+                                             XMLStream &,
+                                             OutputParams const &,
+                                             ParagraphList::const_iterator);
+
+
+void makeBibliography(
+               Text const & text,
+               Buffer const & buf,
+               XMLStream & xs,
+               OutputParams const & runparams,
+               ParagraphList::const_iterator const & par)
+{
+       // If this is the first paragraph in a bibliography, open the bibliography tag.
+       auto pbegin_before = text.paragraphs().getParagraphBefore(par);
+       if (pbegin_before->layout().latextype != LATEX_BIB_ENVIRONMENT) {
+               xs << xml::StartTag("bibliography");
+               xs << xml::CR();
+       }
+
+       // Start the precooked bibliography entry. This is very much like opening a paragraph tag.
+       // Don't forget the citation ID!
+       docstring attr;
+       for (auto i = 0; i < par->size(); ++i) {
+               Inset const *ip = par->getInset(i);
+               if (!ip)
+                       continue;
+               if (const auto * bibitem = dynamic_cast<const InsetBibitem*>(ip)) {
+                       attr = from_utf8("xml:id='") + bibitem->getParam("key") + from_utf8("'");
+                       break;
+               }
+       }
+       xs << xml::StartTag(from_utf8("bibliomixed"), attr);
+
+       // Generate the entry. Concatenate the different parts of the paragraph if any.
+       auto const begin = text.paragraphs().begin();
+       auto pars = par->simpleDocBookOnePar(buf, runparams, text.outerFont(std::distance(begin, par)), 0);
+       for (auto & parXML : pars)
+               xs << XMLStream::ESCAPE_NONE << parXML;
+
+       // End the precooked bibliography entry.
+       xs << xml::EndTag("bibliomixed");
+       xs << xml::CR();
+
+       // If this is the last paragraph in a bibliography, close the bibliography tag.
+       auto const end = text.paragraphs().end();
+       bool endBibliography = par == end;
+       if (!endBibliography) {
+               auto nextpar = par;
+               ++nextpar;
+               endBibliography = par->layout().latextype != LATEX_BIB_ENVIRONMENT;
+       }
+
+       if (endBibliography) {
+               xs << xml::EndTag("bibliography");
+               xs << xml::CR();
+       }
+}
+
+
+void makeParagraph(
+               Text const & text,
+               Buffer const & buf,
+               XMLStream & xs,
+               OutputParams const & runparams,
+               ParagraphList::const_iterator const & par)
+{
+       auto const begin = text.paragraphs().begin();
+       auto const end = text.paragraphs().end();
+       auto prevpar = text.paragraphs().getParagraphBefore(par);
+
+       // We want to open the paragraph tag if:
+       //   (i) the current layout permits multiple paragraphs
+       //  (ii) we are either not already inside a paragraph (HTMLIsBlock) OR
+       //         we are, but this is not the first paragraph
+       //
+       // But there is also a special case, and we first see whether we are in it.
+       // We do not want to open the paragraph tag if this paragraph contains
+       // only one item, and that item is "inline", i.e., not HTMLIsBlock (such
+       // as a branch). On the other hand, if that single item has a font change
+       // applied to it, then we still do need to open the paragraph.
+       //
+       // Obviously, this is very fragile. The main reason we need to do this is
+       // because of branches, e.g., a branch that contains an entire new section.
+       // We do not really want to wrap that whole thing in a <div>...</div>.
+       bool special_case = false;
+       Inset const *specinset = par->size() == 1 ? par->getInset(0) : nullptr;
+       if (specinset && !specinset->getLayout().htmlisblock()) { // TODO: Convert htmlisblock to a DocBook parameter?
+               Layout const &style = par->layout();
+               FontInfo const first_font = style.labeltype == LABEL_MANUAL ?
+                                                                       style.labelfont : style.font;
+               FontInfo const our_font =
+                               par->getFont(buf.masterBuffer()->params(), 0,
+                                                        text.outerFont(std::distance(begin, par))).fontInfo();
+
+               if (first_font == our_font)
+                       special_case = true;
+       }
+
+       size_t nInsets = std::distance(par->insetList().begin(), par->insetList().end());
+
+       // Plain layouts must be ignored.
+       special_case |= buf.params().documentClass().isPlainLayout(par->layout()) && !runparams.docbook_force_pars;
+       // Equations do not deserve their own paragraph (DocBook allows them outside paragraphs).
+       special_case |= nInsets == par->size() && std::all_of(par->insetList().begin(), par->insetList().end(), [](InsetList::Element inset) {
+               return inset.inset && inset.inset->asInsetMath();
+       });
+
+       // TODO: Could get rid of this with a DocBook equivalent to htmlisblock? Not for all cases, unfortunately... See above for those that have been determined not to be allowable for this potential refactoring.
+       if (!special_case && par->size() == 1 && par->getInset(0)) {
+               Inset const * firstInset = par->getInset(0);
+
+               // Floats cannot be in paragraphs.
+               special_case = to_utf8(firstInset->layoutName()).substr(0, 6) == "Float:";
+
+               // Bibliographies cannot be in paragraphs.
+               if (!special_case && firstInset->asInsetCommand())
+                       special_case = firstInset->asInsetCommand()->params().getCmdName() == "bibtex";
+
+               // ERTs are in comments, not paragraphs.
+               if (!special_case && firstInset->lyxCode() == lyx::ERT_CODE)
+                       special_case = true;
+
+               // Listings should not get into their own paragraph.
+               if (!special_case && firstInset->lyxCode() == lyx::LISTINGS_CODE)
+                       special_case = true;
+       }
+
+       bool const open_par = runparams.docbook_make_pars
+                                                 && !runparams.docbook_in_par
+                                                 && !special_case;
+
+       // We want to issue the closing tag if either:
+       //   (i)  We opened it, and either docbook_in_par is false,
+       //              or we're not in the last paragraph, anyway.
+       //   (ii) We didn't open it and docbook_in_par is true,
+       //              but we are in the first par, and there is a next par.
+       auto nextpar = par;
+       ++nextpar;
+       bool const close_par = open_par && (!runparams.docbook_in_par);
+
+       // Determine if this paragraph has some real content. Things like new pages are not caught
+       // by Paragraph::empty(), even though they do not generate anything useful in DocBook.
+       // Thus, remove all spaces (including new lines: \r, \n) before checking for emptiness.
+       // std::all_of allows doing this check without having to copy the string.
+       // Open and close tags around each contained paragraph.
+       auto pars = par->simpleDocBookOnePar(buf, runparams, text.outerFont(distance(begin, par)), 0);
+       for (auto & parXML : pars) {
+               if (!std::all_of(parXML.begin(), parXML.end(), ::isspace)) {
+                       if (open_par)
+                               openParTag(xs, &*par, prevpar);
+
+                       xs << XMLStream::ESCAPE_NONE << parXML;
+
+                       if (close_par)
+                               closeParTag(xs, &*par, (nextpar != end) ? &*nextpar : nullptr);
+               }
+       }
+}
+
+
+void makeEnvironment(Text const &text,
+                                        Buffer const &buf,
+                     XMLStream &xs,
+                     OutputParams const &runparams,
+                     ParagraphList::const_iterator const & par)
+{
+       // TODO: simplify me!
+       auto const end = text.paragraphs().end();
+
+       // Output the opening tag for this environment, but only if it has not been previously opened (condition
+       // implemented in openParTag).
+       auto prevpar = text.paragraphs().getParagraphBefore(par);
+       openParTag(xs, &*par, prevpar); // TODO: switch in layout for par/block?
+
+       // Generate the contents of this environment. There is a special case if this is like some environment.
+       Layout const & style = par->layout();
+       if (style.latextype == LATEX_COMMAND) {
+               // Nothing to do (otherwise, infinite loops).
+       } else if (style.latextype == LATEX_ENVIRONMENT) {
+               // Open a wrapper tag if needed.
+               if (style.docbookitemwrappertag() != "NONE")
+                       openTag(xs, style.docbookitemwrappertag(), style.docbookitemwrapperattr(), style.docbookitemwrappertagtype());
+
+               // Generate the label, if need be. If it is taken from the text, sep != 0 and corresponds to the first
+               // character after the label.
+               pos_type sep = 0;
+               if (style.labeltype != LABEL_NO_LABEL && style.docbookitemlabeltag() != "NONE") {
+                       // At least one condition must be met:
+                       //  - this environment is not a list
+                       //  - if this is a list, the label must not be manual (i.e. it must be taken from the layout)
+                       if (style.latextype != LATEX_LIST_ENVIRONMENT || style.labeltype != LABEL_MANUAL) {
+                               // Usual cases: maybe there is something specified at the layout level. Highly unlikely, though.
+                               docstring const lbl = par->params().labelString();
+
+                               if (!lbl.empty()) {
+                                       openLabelTag(xs, style);
+                                       xs << lbl;
+                                       closeLabelTag(xs, style);
+                               }
+                       } else {
+                               // Only variablelist gets here (or similar items defined as an extension in the layout).
+                               openLabelTag(xs, style);
+                               sep = par->firstWordDocBook(xs, runparams);
+                               closeLabelTag(xs, style);
+                       }
+               }
+
+               // Maybe the item is completely empty, i.e. if the first word ends at the end of the current paragraph
+               // AND if the next paragraph doesn't have the same depth (if there is such a paragraph).
+               // Common case: there is only the first word on the line, but there is a nested list instead
+               // of more text.
+               bool emptyItem = false;
+               if (sep == par->size()) { // If the separator is already at the end of this paragraph...
+                       auto next_par = par;
+                       ++next_par;
+                       if (next_par == text.paragraphs().end()) // There is no next paragraph.
+                               emptyItem = true;
+                       else // There is a next paragraph: check depth.
+                               emptyItem = par->params().depth() >= next_par->params().depth();
+               }
+
+               if (emptyItem) {
+                       // Avoid having an empty item, this is not valid DocBook. A single character is enough to force
+                       // generation of a full <para>.
+                       // TODO: this always worked only by magic...
+                       xs << ' ';
+               } else {
+                       // Generate the rest of the paragraph, if need be. Open as many inner tags as necessary.
+                       auto pars = par->simpleDocBookOnePar(buf, runparams, text.outerFont(std::distance(text.paragraphs().begin(), par)), sep);
+                       auto p = pars.begin();
+                       while (true) {
+                               xs << XMLStream::ESCAPE_NONE << *p;
+                               ++p;
+                               if (p != pars.end()) {
+                                       closeTag(xs, par->layout().docbookiteminnertag(), par->layout().docbookiteminnertagtype());
+                                       openTag(xs, par->layout().docbookiteminnertag(), par->layout().docbookiteminnerattr(), par->layout().docbookiteminnertagtype());
+                               } else
+                                       break;
+                       }
+               }
+       } else {
+               makeAny(text, buf, xs, runparams, par);
+       }
+
+       // Close the environment.
+       auto nextpar = par;
+       ++nextpar;
+       closeParTag(xs, &*par, (nextpar != end) ? &*nextpar : nullptr); // TODO: switch in layout for par/block?
 }
 
 
-ParagraphList::const_iterator searchEnvironment(
-               ParagraphList::const_iterator p,
+ParagraphList::const_iterator findEndOfEnvironment(
+               ParagraphList::const_iterator const & pstart,
                ParagraphList::const_iterator const & pend)
 {
+       // Copy-paste from XHTML. Should be factored out at some point...
+       ParagraphList::const_iterator p = pstart;
        Layout const & bstyle = p->layout();
        size_t const depth = p->params().depth();
        for (++p; p != pend; ++p) {
                Layout const & style = p->layout();
+               // It shouldn't happen that e.g. a section command occurs inside
+               // a quotation environment, at a higher depth, but as of 6/2009,
+               // it can happen. We pretend that it's just at lowest depth.
                if (style.latextype == LATEX_COMMAND)
                        return p;
 
-               if (style.latextype == LATEX_PARAGRAPH) {
-                       if (p->params().depth() > depth)
-                               continue;
-                       return p;
-               }
-
+               // If depth is down, we're done
                if (p->params().depth() < depth)
                        return p;
 
-               if (style.latexname() != bstyle.latexname()
-                               && p->params().depth() == depth)
+               // If depth is up, we're not done
+               if (p->params().depth() > depth)
+                       continue;
+
+               // FIXME I am not sure about the first check.
+               // Surely we *could* have different layouts that count as
+               // LATEX_PARAGRAPH, right?
+               if (style.latextype == LATEX_PARAGRAPH || style != bstyle)
                        return p;
        }
        return pend;
 }
 
 
-ParagraphList::const_iterator makeParagraph(Buffer const & buf,
-                                           odocstream & os,
-                                           OutputParams const & runparams,
-                                           Text const & text,
-                                           ParagraphList::const_iterator const & pbegin,
-                                           ParagraphList::const_iterator const & pend)
+ParagraphList::const_iterator makeListEnvironment(Text const &text,
+                                                                                                 Buffer const &buf,
+                                                         XMLStream &xs,
+                                                         OutputParams const &runparams,
+                                                         ParagraphList::const_iterator const & begin)
 {
-       ParagraphList const & paragraphs = text.paragraphs();
-       for (ParagraphList::const_iterator par = pbegin; par != pend; ++par) {
-               if (par != pbegin)
-                       os << '\n';
-               bool const default_or_plain = 
-                       (buf.params().documentClass().isDefaultLayout(par->layout()) 
-                               || buf.params().documentClass().isPlainLayout(par->layout()));
-               if (default_or_plain && par->emptyTag()) {
-                       par->simpleDocBookOnePar(buf, os, runparams, 
-                                       text.outerFont(distance(paragraphs.begin(), par)));
+       auto par = begin;
+       auto const end = text.paragraphs().end();
+       auto const envend = findEndOfEnvironment(par, end);
+
+       // Output the opening tag for this environment.
+       Layout const & envstyle = par->layout();
+       openTag(xs, envstyle.docbookwrappertag(), envstyle.docbookwrapperattr(), envstyle.docbookwrappertagtype());
+       openTag(xs, envstyle.docbooktag(), envstyle.docbookattr(), envstyle.docbooktagtype());
+
+       // Handle the content of the list environment, item by item.
+       while (par != envend) {
+               Layout const & style = par->layout();
+
+               // Open the item wrapper.
+               openTag(xs, style.docbookitemwrappertag(), style.docbookitemwrapperattr(), style.docbookitemwrappertagtype());
+
+               // Generate the label, if need be. If it is taken from the text, sep != 0 and corresponds to the first
+               // character after the label.
+               pos_type sep = 0;
+               if (style.labeltype != LABEL_NO_LABEL && style.docbookitemlabeltag() != "NONE") {
+                       if (style.labeltype == LABEL_MANUAL) {
+                               // Only variablelist gets here (or similar items defined as an extension in the layout).
+                               openLabelTag(xs, style);
+                               sep = 1 + par->firstWordDocBook(xs, runparams);
+                               closeLabelTag(xs, style);
+                       } else {
+                               // Usual cases: maybe there is something specified at the layout level. Highly unlikely, though.
+                               docstring const lbl = par->params().labelString();
+
+                               if (!lbl.empty()) {
+                                       openLabelTag(xs, style);
+                                       xs << lbl;
+                                       closeLabelTag(xs, style);
+                               }
+                       }
+               }
+
+               // Open the item (after the wrapper and the label).
+               openTag(xs, style.docbookitemtag(), style.docbookitemattr(), style.docbookitemtagtype());
+
+               // Generate the content of the item.
+               if (sep < par->size()) {
+                       auto pars = par->simpleDocBookOnePar(buf, runparams,
+                                                            text.outerFont(std::distance(text.paragraphs().begin(), par)), sep);
+                       for (auto &p : pars) {
+                               openTag(xs, par->layout().docbookiteminnertag(), par->layout().docbookiteminnerattr(),
+                                       par->layout().docbookiteminnertagtype());
+                               xs << XMLStream::ESCAPE_NONE << p;
+                               closeTag(xs, par->layout().docbookiteminnertag(), par->layout().docbookiteminnertagtype());
+                       }
                } else {
-                       sgml::openTag(buf, os, runparams, *par);
-                       par->simpleDocBookOnePar(buf, os, runparams, 
-                                       text.outerFont(distance(paragraphs.begin(), par)));
-                       sgml::closeTag(os, *par);
+                       // DocBook doesn't like emptiness.
+                       openTag(xs, par->layout().docbookiteminnertag(), par->layout().docbookiteminnerattr(),
+                               par->layout().docbookiteminnertagtype());
+                       closeTag(xs, par->layout().docbookiteminnertag(), par->layout().docbookiteminnertagtype());
                }
+
+               // If the next item is deeper, it must go entirely within this item (do it recursively).
+               // By construction, with findEndOfEnvironment, depth can only stay constant or increase, never decrease.
+               depth_type currentDepth = par->getDepth();
+               ++par;
+               while (par != envend && par->getDepth() != currentDepth)
+                       par = makeAny(text, buf, xs, runparams, par);
+               // Usually, this loop only makes one iteration, except in complex scenarios, like an item with a paragraph,
+               // a list, and another paragraph; or an item with two types of list (itemise then enumerate, for instance).
+
+               // Close the item.
+               closeTag(xs, style.docbookitemtag(), style.docbookitemtagtype());
+               closeTag(xs, style.docbookitemwrappertag(), style.docbookitemwrappertagtype());
        }
-       return pend;
+
+       // Close this environment in exactly the same way as it was opened.
+       closeTag(xs, envstyle.docbooktag(), envstyle.docbooktagtype());
+       closeTag(xs, envstyle.docbookwrappertag(), envstyle.docbookwrappertagtype());
+
+       return envend;
 }
 
 
-ParagraphList::const_iterator makeEnvironment(Buffer const & buf,
-                                             odocstream & os,
-                                             OutputParams const & runparams,
-                                             Text const & text,
-                                             ParagraphList::const_iterator const & pbegin,
-                                             ParagraphList::const_iterator const & pend)
+void makeCommand(
+               Text const & text,
+               Buffer const & buf,
+               XMLStream & xs,
+               OutputParams const & runparams,
+               ParagraphList::const_iterator const & par)
 {
-       ParagraphList const & paragraphs = text.paragraphs();
-       ParagraphList::const_iterator par = pbegin;
+       // Unlike XHTML, no need for labels, as they are handled by DocBook tags.
+       auto const begin = text.paragraphs().begin();
+       auto const end = text.paragraphs().end();
+       auto nextpar = par;
+       ++nextpar;
 
-       Layout const & defaultstyle = buf.params().documentClass().defaultLayout();
-       Layout const & bstyle = par->layout();
-       string item_tag;
+       // Generate this command.
+       auto prevpar = text.paragraphs().getParagraphBefore(par);
+       openParTag(xs, &*par, prevpar);
 
-       // Opening outter tag
-       sgml::openTag(buf, os, runparams, *pbegin);
-       os << '\n';
-       if (bstyle.latextype == LATEX_ENVIRONMENT && bstyle.pass_thru)
-               os << "<![CDATA[";
+       auto pars = par->simpleDocBookOnePar(buf, runparams,text.outerFont(distance(begin, par)));
+       for (auto & parXML : pars)
+               // TODO: decide what to do with openParTag/closeParTag in new lines.
+               xs << XMLStream::ESCAPE_NONE << parXML;
 
-       while (par != pend) {
-               Layout const & style = par->layout();
-               ParagraphList::const_iterator send;
-               string id = par->getID(buf, runparams);
-               string wrapper = "";
-               pos_type sep = 0;
+       closeParTag(xs, &*par, (nextpar != end) ? &*nextpar : nullptr);
+}
 
-               // Opening inner tag
-               switch (bstyle.latextype) {
-               case LATEX_ENVIRONMENT:
-                       if (!bstyle.innertag().empty()) {
-                               sgml::openTag(os, bstyle.innertag(), id);
-                       }
-                       break;
 
-               case LATEX_ITEM_ENVIRONMENT:
-                       if (!bstyle.labeltag().empty()) {
-                               sgml::openTag(os, bstyle.innertag(), id);
-                               sgml::openTag(os, bstyle.labeltag());
-                               sep = par->firstWordDocBook(os, runparams) + 1;
-                               sgml::closeTag(os, bstyle.labeltag());
-                       }
-                       wrapper = defaultstyle.latexname();
-                       // If a sub list (embedded list) appears next with a
-                       // different depth, then there is no need to open
-                       // another tag at the current depth.
-                       if(par->params().depth() == pbegin->params().depth()) {
-                               sgml::openTag(os, bstyle.itemtag());
-                       }
+ParagraphList::const_iterator makeAny(Text const &text,
+                                             Buffer const &buf,
+                                             XMLStream &xs,
+                                             OutputParams const &runparams,
+                                             ParagraphList::const_iterator par)
+{
+       switch (par->layout().latextype) {
+       case LATEX_COMMAND:
+               makeCommand(text, buf, xs, runparams, par);
+               break;
+       case LATEX_ENVIRONMENT:
+               makeEnvironment(text, buf, xs, runparams, par);
+               break;
+       case LATEX_LIST_ENVIRONMENT:
+       case LATEX_ITEM_ENVIRONMENT:
+               // Only case when makeAny() might consume more than one paragraph.
+               return makeListEnvironment(text, buf, xs, runparams, par);
+       case LATEX_PARAGRAPH:
+               makeParagraph(text, buf, xs, runparams, par);
+               break;
+       case LATEX_BIB_ENVIRONMENT:
+               makeBibliography(text, buf, xs, runparams, par);
+               break;
+       }
+       ++par;
+       return par;
+}
+
+
+bool isLayoutSectioning(Layout const & lay)
+{
+       return lay.category() == from_utf8("Sectioning");
+}
+
+
+using DocBookDocumentSectioning = tuple<bool, pit_type>;
+
+
+struct DocBookInfoTag
+{
+       const set<pit_type> shouldBeInInfo;
+       const set<pit_type> mustBeInInfo; // With the notable exception of the abstract!
+       const set<pit_type> abstract;
+       const bool abstractLayout;
+       pit_type bpit;
+       pit_type epit;
+
+       DocBookInfoTag(const set<pit_type> & shouldBeInInfo, const set<pit_type> & mustBeInInfo,
+                                  const set<pit_type> & abstract, bool abstractLayout, pit_type bpit, pit_type epit) :
+                                  shouldBeInInfo(shouldBeInInfo), mustBeInInfo(mustBeInInfo), abstract(abstract),
+                                  abstractLayout(abstractLayout), bpit(bpit), epit(epit) {}
+};
+
+
+DocBookDocumentSectioning hasDocumentSectioning(ParagraphList const &paragraphs, pit_type bpit, pit_type const epit) {
+       bool documentHasSections = false;
+
+       while (bpit < epit) {
+               Layout const &style = paragraphs[bpit].layout();
+               documentHasSections |= isLayoutSectioning(style);
+
+               if (documentHasSections)
                        break;
-               default:
+               bpit += 1;
+       }
+       // Paragraphs before the first section: [ runparams.par_begin ; eppit )
+
+       return make_tuple(documentHasSections, bpit);
+}
+
+
+bool hasOnlyNotes(Paragraph const & par)
+{
+       // Precondition: the paragraph is not empty. Otherwise, the function will always return true...
+       for (int i = 0; i < par.size(); ++i)
+               // If you find something that is not an inset (like actual text) or an inset that is not a note,
+               // return false.
+               if (!par.isInset(i) || !dynamic_cast<InsetNote *>(par.insetList().get(i)))
+                       return false;
+       return true;
+}
+
+
+DocBookInfoTag getParagraphsWithInfo(ParagraphList const &paragraphs,
+                                                                        pit_type bpit, pit_type const epit,
+                                                                        // Typically, bpit is the beginning of the document and epit the end *or* the first section.
+                                                                        bool documentHasSections) {
+       set<pit_type> shouldBeInInfo;
+       set<pit_type> mustBeInInfo;
+       set<pit_type> abstractWithLayout;
+       set<pit_type> abstractNoLayout;
+
+       // Find the first non empty paragraph by mutating bpit.
+       while (bpit < epit) {
+               Paragraph const &par = paragraphs[bpit];
+               if (par.empty() || hasOnlyNotes(par))
+                       bpit += 1;
+               else
                        break;
-               }
+       }
 
-               switch (style.latextype) {
-               case LATEX_ENVIRONMENT:
-               case LATEX_ITEM_ENVIRONMENT: {
-                       if (par->params().depth() == pbegin->params().depth()) {
-                               sgml::openTag(os, wrapper);
-                               par->simpleDocBookOnePar(buf, os, runparams,
-                                       text.outerFont(distance(paragraphs.begin(), par)), sep);
-                               sgml::closeTag(os, wrapper);
-                               ++par;
-                       }
-                       else {
-                               send = searchEnvironment(par, pend);
-                               par = makeEnvironment(buf, os, runparams, text, par,send);
-                       }
+       // Traverse everything that might belong to <info>.
+       bool hasAbstractLayout = false;
+       pit_type cpit = bpit;
+       for (; cpit < epit; ++cpit) {
+               // Skip paragraphs that don't generate anything in DocBook.
+               Paragraph const & par = paragraphs[cpit];
+               if (par.empty() || par.emptyTag() || hasOnlyNotes(par))
+                       continue;
+
+               // There should never be any section here. (Just a sanity check: if this fails, this function could end up
+               // processing the whole document.)
+               if (isLayoutSectioning(par.layout())) {
+                       LYXERR0("Assertion failed: section found in potential <info> paragraphs.");
                        break;
                }
-               case LATEX_PARAGRAPH:
-                       send = searchParagraph(par, pend);
-                       par = makeParagraph(buf, os, runparams, text, par,send);
-                       break;
-               case LATEX_LIST_ENVIRONMENT:
-               case LATEX_BIB_ENVIRONMENT:
-               case LATEX_COMMAND:
-                       // FIXME This means that we are just skipping any paragraph that
-                       // isn't implemented above, and this includes lists.
-                       ++par;
-                       break;
+
+               // If this is marked as an abstract by the layout, put it in the right set.
+               if (par.layout().docbookabstract()) {
+                       hasAbstractLayout = true;
+                       abstractWithLayout.emplace(cpit);
+                       continue;
                }
 
-               // Closing inner tag
-               switch (bstyle.latextype) {
-               case LATEX_ENVIRONMENT:
-                       if (!bstyle.innertag().empty()) {
-                               sgml::closeTag(os, bstyle.innertag());
-                               os << '\n';
-                       }
-                       break;
-               case LATEX_ITEM_ENVIRONMENT:
-                       // If a sub list (embedded list) appears next, then
-                       // there is no need to close the current tag.
-                       // par should have already been incremented to the next
-                       // element. So we can compare the depth of the next
-                       // element with pbegin.
-                       // We need to be careful, that we don't dereference par
-                       // when par == pend but at the same time that the
-                       // current tag is closed.
-                       if((par != pend && par->params().depth() == pbegin->params().depth()) || par == pend) {
-                               sgml::closeTag(os, bstyle.itemtag());
-                       }
-                       if (!bstyle.labeltag().empty())
-                               sgml::closeTag(os, bstyle.innertag());
-                       break;
-               default:
+               // Based on layout information, store this paragraph in one set: should be in <info>, must be,
+               // or abstract ().
+               Layout const &style = par.layout();
+
+               if (style.docbookininfo() == "always")
+                       mustBeInInfo.emplace(cpit);
+               else if (style.docbookininfo() == "maybe")
+                       shouldBeInInfo.emplace(cpit);
+               else if (!hasAbstractLayout)
+                       abstractNoLayout.emplace(cpit);
+               else // This should definitely not be in <info>.
                        break;
-               }
        }
+       // Now, cpit points to the first paragraph that no more has things that could go in <info>.
+       // bpit is the beginning of the <info> part.
 
-       if (bstyle.latextype == LATEX_ENVIRONMENT && bstyle.pass_thru)
-               os << "]]>";
+       return DocBookInfoTag(shouldBeInInfo, mustBeInInfo,
+                                             hasAbstractLayout ? abstractWithLayout : abstractNoLayout,
+                                             hasAbstractLayout, bpit, cpit);
+}
 
-       // Closing outter tag
-       sgml::closeTag(os, *pbegin);
+} // end anonymous namespace
 
-       return pend;
+
+xml::FontTag docbookStartFontTag(xml::FontTypes type)
+{
+       return xml::FontTag(from_utf8(fontToDocBookTag(type)), from_utf8(fontToAttribute(type)), type);
+}
+
+
+xml::EndFontTag docbookEndFontTag(xml::FontTypes type)
+{
+       return xml::EndFontTag(from_utf8(fontToDocBookTag(type)), type);
 }
 
 
-ParagraphList::const_iterator makeCommand(Buffer const & buf,
-                                         odocstream & os,
-                                         OutputParams const & runparams,
-                                         Text const & text,
-                                         ParagraphList::const_iterator const & pbegin,
-                                         ParagraphList::const_iterator const & pend)
+void outputDocBookInfo(
+               Text const & text,
+               Buffer const & buf,
+               XMLStream & xs,
+               OutputParams const & runparams,
+               ParagraphList const & paragraphs,
+               DocBookInfoTag const & info)
 {
-       ParagraphList const & paragraphs = text.paragraphs();
-       ParagraphList::const_iterator par = pbegin;
-       Layout const & bstyle = par->layout();
-
-       //Open outter tag
-       sgml::openTag(buf, os, runparams, *pbegin);
-       os << '\n';
-
-       // Label around sectioning number:
-       if (!bstyle.labeltag().empty()) {
-               sgml::openTag(os, bstyle.labeltag());
-               // We don't care about appendix in DOCBOOK.
-               os << par->expandDocBookLabel(bstyle, buf.params());
-               sgml::closeTag(os, bstyle.labeltag());
+       // Perform an additional check on the abstract. Sometimes, there are many paragraphs that should go
+       // into the abstract, but none generates actual content. Thus, first generate to a temporary stream,
+       // then only create the <abstract> tag if these paragraphs generate some content.
+       // This check must be performed *before* a decision on whether or not to output <info> is made.
+       bool hasAbstract = !info.abstract.empty();
+       docstring abstract;
+       if (hasAbstract) {
+               // Generate the abstract XML into a string before further checks.
+               odocstringstream os2;
+               XMLStream xs2(os2);
+               for (auto const & p : info.abstract)
+                       makeAny(text, buf, xs2, runparams, paragraphs.iterator_at(p));
+
+               // Actually output the abstract if there is something to do. Don't count line feeds or spaces in this,
+               // even though they must be properly output if there is some abstract.
+               abstract = os2.str();
+               docstring cleaned = abstract;
+               cleaned.erase(std::remove_if(cleaned.begin(), cleaned.end(), ::isspace), cleaned.end());
+
+               // Nothing? Then there is no abstract!
+               if (cleaned.empty())
+                       hasAbstract = false;
        }
 
-       // Opend inner tag and  close inner tags
-       sgml::openTag(os, bstyle.innertag());
-       par->simpleDocBookOnePar(buf, os, runparams,
-               text.outerFont(distance(paragraphs.begin(), par)));
-       sgml::closeTag(os, bstyle.innertag());
-       os << '\n';
+       // The abstract must go in <info>. Otherwise, decide whether to open <info> based on the layouts.
+       bool needInfo = !info.mustBeInInfo.empty() || hasAbstract;
 
-       ++par;
-       while (par != pend) {
-               Layout const & style = par->layout();
-               ParagraphList::const_iterator send;
+       // Start the <info> tag if required.
+       if (needInfo) {
+               xs.startDivision(false);
+               xs << xml::StartTag("info");
+               xs << xml::CR();
+       }
 
-               switch (style.latextype) {
-               case LATEX_COMMAND: {
-                       send = searchCommand(par, pend);
-                       par = makeCommand(buf, os, runparams, text, par,send);
-                       break;
-               }
-               case LATEX_ENVIRONMENT:
-               case LATEX_ITEM_ENVIRONMENT: {
-                       send = searchEnvironment(par, pend);
-                       par = makeEnvironment(buf, os, runparams, text, par,send);
-                       break;
-               }
-               case LATEX_PARAGRAPH:
-                       send = searchParagraph(par, pend);
-                       par = makeParagraph(buf, os, runparams, text, par,send);
-                       break;
-               case LATEX_BIB_ENVIRONMENT:
-               case LATEX_LIST_ENVIRONMENT:
-                       // FIXME This means that we are just skipping any paragraph that
-                       // isn't implemented above.
-                       ++par;
-                       break;
+       // Output the elements that should go in <info>, before and after the abstract.
+       for (auto pit : info.shouldBeInInfo) // Typically, the title: these elements are so important and ubiquitous
+               // that mandating a wrapper like <info> would repel users. Thus, generate them first.
+               makeAny(text, buf, xs, runparams, paragraphs.iterator_at(pit));
+       for (auto pit : info.mustBeInInfo)
+               if (info.abstract.find(pit) == info.abstract.end()) // The abstract must be in info, but is dealt with after.
+                       makeAny(text, buf, xs, runparams, paragraphs.iterator_at(pit));
+
+       // Always output the abstract as the last item of the <info>, as it requires special treatment (especially if
+       // it contains several paragraphs that are empty).
+       if (hasAbstract) {
+               if (info.abstractLayout) {
+                       xs << XMLStream::ESCAPE_NONE << abstract;
+                       xs << xml::CR();
+               } else {
+                       string tag = paragraphs[*info.abstract.begin()].layout().docbookforceabstracttag();
+                       if (tag == "NONE")
+                               tag = "abstract";
+
+                       if (!xs.isLastTagCR())
+                               xs << xml::CR();
+
+                       xs << xml::StartTag(tag);
+                       xs << xml::CR();
+                       xs << XMLStream::ESCAPE_NONE << abstract;
+                       xs << xml::EndTag(tag);
+                       xs << xml::CR();
                }
        }
-       // Close outter tag
-       sgml::closeTag(os, *pbegin);
 
-       return pend;
+       // End the <info> tag if it was started.
+       if (needInfo) {
+               xs << xml::EndTag("info");
+               xs << xml::CR();
+               xs.endDivision();
+       }
 }
 
-} // end anonym namespace
-
 
-void docbookParagraphs(Text const & text,
-                      Buffer const & buf,
-                      odocstream & os,
-                      OutputParams const & runparams)
+void docbookSimpleAllParagraphs(
+               Text const & text,
+               Buffer const & buf,
+               XMLStream & xs,
+               OutputParams const & runparams)
 {
-       ParagraphList const & paragraphs = text.paragraphs();
-       ParagraphList::const_iterator par = paragraphs.begin();
-       ParagraphList::const_iterator pend = paragraphs.end();
-
-       LASSERT(runparams.par_begin <= runparams.par_end, /**/);
-       // if only part of the paragraphs will be outputed
-       if (runparams.par_begin !=  runparams.par_end) {
-               par = boost::next(paragraphs.begin(), runparams.par_begin);
-               pend = boost::next(paragraphs.begin(), runparams.par_end);
-               // runparams will be passed to nested paragraphs, so
-               // we have to reset the range parameters.
-               const_cast<OutputParams&>(runparams).par_begin = 0;
-               const_cast<OutputParams&>(runparams).par_end = 0;
+       // Handle the given text, supposing it has no sections (i.e. a "simple" text). The input may vary in length
+       // between a single paragraph to a whole document.
+
+       // First, the <info> tag.
+       ParagraphList const &paragraphs = text.paragraphs();
+       pit_type bpit = runparams.par_begin;
+       pit_type const epit = runparams.par_end;
+       DocBookInfoTag info = getParagraphsWithInfo(paragraphs, bpit, epit, false);
+       outputDocBookInfo(text, buf, xs, runparams, paragraphs, info);
+
+       // Then, the content. It starts where the <info> ends.
+       auto par = text.paragraphs().iterator_at(info.epit);
+       auto end = text.paragraphs().iterator_at(epit);
+       while (par != end) {
+               if (!hasOnlyNotes(*par))
+                       par = makeAny(text, buf, xs, runparams, par);
+               else
+                       ++par;
+       }
+}
+
+
+void docbookParagraphs(Text const &text,
+                                          Buffer const &buf,
+                                          XMLStream &xs,
+                                          OutputParams const &runparams) {
+       ParagraphList const &paragraphs = text.paragraphs();
+       if (runparams.par_begin == runparams.par_end) {
+               runparams.par_begin = 0;
+               runparams.par_end = paragraphs.size();
        }
+       pit_type bpit = runparams.par_begin;
+       pit_type const epit = runparams.par_end;
+       LASSERT(bpit < epit,
+                       {
+                               xs << XMLStream::ESCAPE_NONE << "<!-- DocBook output error! -->\n";
+                               return;
+                       });
 
-       while (par != pend) {
-               Layout const & style = par->layout();
-               ParagraphList::const_iterator lastpar = par;
-               ParagraphList::const_iterator send;
+       std::stack<std::pair<int, string>> headerLevels; // Used to determine when to open/close sections: store the depth
+       // of the section and the tag that was used to open it.
 
-               switch (style.latextype) {
-               case LATEX_COMMAND: {
-                       send = searchCommand(par, pend);
-                       par = makeCommand(buf, os, runparams, text, par, send);
-                       break;
+       // Detect whether the document contains sections. If there are no sections, treatment is largely simplified.
+       // In particular, there can't be an abstract, unless it is manually marked.
+       bool documentHasSections;
+       pit_type eppit;
+       tie(documentHasSections, eppit) = hasDocumentSectioning(paragraphs, bpit, epit);
+
+       // Deal with "simple" documents, i.e. those without sections.
+       if (!documentHasSections){
+               docbookSimpleAllParagraphs(text, buf, xs, runparams);
+               return;
+       }
+
+       // Output the first <info> tag (or just the title).
+       DocBookInfoTag info = getParagraphsWithInfo(paragraphs, bpit, eppit, true);
+       outputDocBookInfo(text, buf, xs, runparams, paragraphs, info);
+       bpit = eppit;
+
+       // Then, iterate through the paragraphs of this document.
+       bool currentlyInAppendix = false;
+
+       auto par = text.paragraphs().iterator_at(bpit);
+       auto end = text.paragraphs().iterator_at(epit);
+       while (par != end) {
+               OutputParams ourparams = runparams;
+
+               if (par->params().startOfAppendix())
+                       currentlyInAppendix = true;
+               if (hasOnlyNotes(*par)) {
+                       ++par;
+                       continue;
                }
-               case LATEX_ENVIRONMENT:
-               case LATEX_ITEM_ENVIRONMENT: {
-                       send = searchEnvironment(par, pend);
-                       par = makeEnvironment(buf, os, runparams, text, par, send);
-                       break;
+
+               Layout const &style = par->layout();
+
+               // Think about adding <section> and/or </section>s.
+               if (isLayoutSectioning(style)) {
+                       int level = style.toclevel;
+
+                       // Need to close a previous section if it has the same level or a higher one (close <section> if opening a <h2>
+                       // after a <h2>, <h3>, <h4>, <h5> or <h6>). More examples:
+                       //   - current: h2; back: h1; do not close any <section>
+                       //   - current: h1; back: h2; close two <section> (first the <h2>, then the <h1>, so a new <h1> can come)
+                       while (!headerLevels.empty() && level <= headerLevels.top().first) {
+                               int stackLevel = headerLevels.top().first;
+                               docstring stackTag = from_utf8("</" + headerLevels.top().second + ">");
+                               headerLevels.pop();
+
+                               // Output the tag only if it corresponds to a legit section.
+                               if (stackLevel != Layout::NOT_IN_TOC)
+                                       xs << XMLStream::ESCAPE_NONE << stackTag << xml::CR();
+                       }
+
+                       // Open the new section: first push it onto the stack, then output it in DocBook.
+                       string sectionTag = (currentlyInAppendix && style.docbooksectiontag() == "chapter") ?
+                                                               "appendix" : style.docbooksectiontag();
+                       headerLevels.push(std::make_pair(level, sectionTag));
+
+                       // Some sectioning-like elements should not be output (such as FrontMatter).
+                       if (level != Layout::NOT_IN_TOC) {
+                               // Look for a label in the title, i.e. a InsetLabel as a child.
+                               docstring id = docstring();
+                               for (pos_type i = 0; i < par->size(); ++i) {
+                                       Inset const *inset = par->getInset(i);
+                                       if (inset) {
+                                               if (auto label = dynamic_cast<InsetLabel const *>(inset)) {
+                                                       // Generate the attributes for the section if need be.
+                                                       id += "xml:id=\"" + xml::cleanID(label->screenLabel()) + "\"";
+
+                                                       // Don't output the ID as a DocBook <anchor>.
+                                                       ourparams.docbook_anchors_to_ignore.emplace(label->screenLabel());
+
+                                                       // Cannot have multiple IDs per tag.
+                                                       break;
+                                               }
+                                       }
+                               }
+
+                               // Write the open tag for this section.
+                               docstring tag = from_utf8("<" + sectionTag);
+                               if (!id.empty())
+                                       tag += from_utf8(" ") + id;
+                               tag += from_utf8(">");
+                               xs << XMLStream::ESCAPE_NONE << tag;
+                               xs << xml::CR();
+                       }
                }
-               case LATEX_PARAGRAPH:
-                       send = searchParagraph(par, pend);
-                       par = makeParagraph(buf, os, runparams, text, par, send);
-                       break;
-               case LATEX_BIB_ENVIRONMENT:
-               case LATEX_LIST_ENVIRONMENT:
-                       // FIXME This means that we are just skipping any paragraph that
-                       // isn't implemented above.
-                       ++par;
-                       break;
+
+               // Close all sections before the bibliography.
+               // TODO: Only close all when the bibliography is at the end of the document? Or force to output the bibliography at the end of the document? Or don't care (as allowed by DocBook)?
+               auto insetsLength = distance(par->insetList().begin(), par->insetList().end());
+               if (insetsLength > 0) {
+                       Inset const *firstInset = par->getInset(0);
+                       if (firstInset && dynamic_cast<InsetBibtex const *>(firstInset)) {
+                               while (!headerLevels.empty()) {
+                                       int level = headerLevels.top().first;
+                                       docstring tag = from_utf8("</" + headerLevels.top().second + ">");
+                                       headerLevels.pop();
+
+                                       // Output the tag only if it corresponds to a legit section.
+                                       if (level != Layout::NOT_IN_TOC) {
+                                               xs << XMLStream::ESCAPE_NONE << tag;
+                                               xs << xml::CR();
+                                       }
+                               }
+                       }
                }
-               // makeEnvironment may process more than one paragraphs and bypass pend
-               if (distance(lastpar, par) >= distance(lastpar, pend))
-                       break;
+
+               // Generate this paragraph.
+               par = makeAny(text, buf, xs, ourparams, par);
        }
-}
 
+       // If need be, close <section>s, but only at the end of the document (otherwise, dealt with at the beginning
+       // of the loop).
+       while (!headerLevels.empty() && headerLevels.top().first > Layout::NOT_IN_TOC) {
+               docstring tag = from_utf8("</" + headerLevels.top().second + ">");
+               headerLevels.pop();
+               xs << XMLStream::ESCAPE_NONE << tag;
+               xs << xml::CR();
+       }
+}
 
-} // namespace lyx
+} // namespace lyx
\ No newline at end of file