@@ -122,7 +122,7 @@ blockToConTeXt (BlockQuote lst) = do
122 contents <- blockListToConTeXt lst
122 contents <- blockListToConTeXt lst
123 return $ "\\startblockquote" $$ nest 0 contents $$ "\\stopblockquote" <> blankline
123 return $ "\\startblockquote" $$ nest 0 contents $$ "\\stopblockquote" <> blankline
124blockToConTeXt (CodeBlock _ str) =
124blockToConTeXt (CodeBlock _ str) =
125− return $ "\\starttyping" <> cr <> flush (text str) <> cr <> "\\stoptyping" <> blankline
125+ return $ "\\starttyping" <> cr <> flush (text str) <> cr <> "\\stoptyping" $$ blankline
126 -- blankline because \stoptyping can't have anything after it, inc. '}'
126 -- blankline because \stoptyping can't have anything after it, inc. '}'
127blockToConTeXt (RawHtml _) = return empty
127blockToConTeXt (RawHtml _) = return empty
128blockToConTeXt (BulletList lst) = do
128blockToConTeXt (BulletList lst) = do