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