DocBook reader: properly handle title in section element.

Previously we just got `section_title` for section (though sect1, sect2,
etc. were handled properly).  Closes #4526.
This commit is contained in:
John MacFarlane 2018-04-08 16:51:01 -07:00
parent 17b0499516
commit c82ee315de

View file

@ -1049,6 +1049,7 @@ parseInline (Elem e) =
| not (null xrefLabel) = xrefLabel
| otherwise = case qName (elName el) of
"chapter" -> descendantContent "title" el
"section" -> descendantContent "title" el
"sect1" -> descendantContent "title" el
"sect2" -> descendantContent "title" el
"sect3" -> descendantContent "title" el