diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-06-18 11:17:00 +0200 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-06-18 11:17:00 +0200 |
commit | abd2e94f5a8c1238eebeef9b6edb91b8031507e7 (patch) | |
tree | d1cde2289e2a8041fba9e3337e99678564f69dbb /src/Text/Pandoc/Lua/StackInstances.hs | |
parent | 6166655b5246806a7edd0cf204f91cc1a886685b (diff) | |
download | pandoc-abd2e94f5a8c1238eebeef9b6edb91b8031507e7.tar.gz |
In producing PDFs, warn if the font is missing some characters.
* Added `MissingCharacter` to `LogMessage` in Text.Pandoc.Logging.
* Parse the (xe)latex log for missing character warnings and issue
the warning.
Closes #3742.
Diffstat (limited to 'src/Text/Pandoc/Lua/StackInstances.hs')
0 files changed, 0 insertions, 0 deletions