From 65ca95eeea0acafeda46ece1d99c62008b20dcfc Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 7 Nov 2018 15:27:02 -0800
Subject: Texinfo writer: add blank line before `@menu` section.
Closes #5055.
---
src/Text/Pandoc/Writers/Texinfo.hs | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
(limited to 'src/Text')
diff --git a/src/Text/Pandoc/Writers/Texinfo.hs b/src/Text/Pandoc/Writers/Texinfo.hs
index 21d1f4eca..4a4dde461 100644
--- a/src/Text/Pandoc/Writers/Texinfo.hs
+++ b/src/Text/Pandoc/Writers/Texinfo.hs
@@ -328,7 +328,8 @@ blockListToTexinfo (x:xs) = do
lines' <- mapM makeMenuLine menu
let menu' = if null lines'
then empty
- else text "@menu" $$
+ else blankline $$
+ text "@menu" $$
vcat lines' $$
text "@end menu"
after' <- blockListToTexinfo after
--
cgit v1.2.3