diff options
| author | Albert Krewinkel <albert@zeitkraut.de> | 2021-05-14 21:31:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-14 12:31:24 -0700 |
| commit | 013e4a3164115bf84f3e1964f21b7cd7f020b86a (patch) | |
| tree | 3d2f10bee728c4c33bdba661285118f60471b23d /test/Tests/Readers/JATS.hs | |
| parent | 247b1cd18bfbd06e4cb0175d9ac14dc888ccff66 (diff) | |
| download | pandoc-013e4a3164115bf84f3e1964f21b7cd7f020b86a.tar.gz | |
HTML reader: keep h1 tags as normal headers (#7274)
The tags `<title>` and `<h1 class="title">` often contain the same
information, so the latter was dropped from the document. However, as
this can lead to loss of information, the heading is now always
retained.
Use `--shift-heading-level-by=-1` to turn the `<h1>` into the document
title, or a filter to restore the previous behavior.
Closes: #2293
Diffstat (limited to 'test/Tests/Readers/JATS.hs')
0 files changed, 0 insertions, 0 deletions