diff options
Diffstat (limited to 'src/Text/Pandoc')
| -rw-r--r-- | src/Text/Pandoc/Writers/Texinfo.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Writers/Texinfo.hs b/src/Text/Pandoc/Writers/Texinfo.hs index 305a1a8d0..840d64d71 100644 --- a/src/Text/Pandoc/Writers/Texinfo.hs +++ b/src/Text/Pandoc/Writers/Texinfo.hs @@ -104,8 +104,10 @@ texinfoHeader options (Meta title authors date) = do then empty else text $ stringToTexinfo date - let baseHeader = text $ writerHeader options - let header = baseHeader $$ extras + let baseHeader = case writerHeader options of + "" -> empty + x -> text x + let header = text "@documentencoding utf-8" $$ baseHeader $$ extras return $ text "\\input texinfo" $$ header $$ text "@ifnottex" $$ |