diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-11-27 15:33:44 +0100 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-25 17:07:39 +0100 |
commit | 22ffbad9e8e99a59f24997d09d04b28c87d5ecba (patch) | |
tree | 0c89918d7cd70b18393e4647109cf4543d22e5d5 /src/Text/Pandoc/Readers/HTML.hs | |
parent | 1673bda95e83aa124241ffdf14d25282d4cad055 (diff) | |
download | pandoc-22ffbad9e8e99a59f24997d09d04b28c87d5ecba.tar.gz |
Texinfo writer: restore former behavior for headers level > 4.
The recent changes made the writer fail with an error if it
encountered a header with level 5. Better to do as we did
before and just print a paragraph in that case. Eventually
we should emit a warning here.
Diffstat (limited to 'src/Text/Pandoc/Readers/HTML.hs')
0 files changed, 0 insertions, 0 deletions