diff options
author | John MacFarlane <jgm@berkeley.edu> | 2018-03-23 12:09:09 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2018-03-23 12:09:53 -0700 |
commit | db596a5b126520c311001010f573afe474dac1e5 (patch) | |
tree | 3ccd53e07672aa60bad55f703ded973cd506b4cd /src/Text/Pandoc/Options.hs | |
parent | 435b1829b157685a2c055190703a4ee541f3bb12 (diff) | |
download | pandoc-db596a5b126520c311001010f573afe474dac1e5.tar.gz |
EPUB writer: ensure that pagetitle is always set...
even when structured titles are used.
This prevents spurious warnings about empty title elements.
Closes #4486.
Diffstat (limited to 'src/Text/Pandoc/Options.hs')
0 files changed, 0 insertions, 0 deletions