From e4f5e2da6a54c0c937dce2011e6b32d130996195 Mon Sep 17 00:00:00 2001
From: Miguel Angel Reina Ortega <miguelangel.reinaortega@etsi.org>
Date: Wed, 31 May 2023 23:24:47 +0200
Subject: [PATCH] Adding empty line after TOC

---
 pandocFilter/pandocFilter.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pandocFilter/pandocFilter.py b/pandocFilter/pandocFilter.py
index c8e3032..05a504c 100644
--- a/pandocFilter/pandocFilter.py
+++ b/pandocFilter/pandocFilter.py
@@ -58,6 +58,7 @@ def correctTOC(progress:Progress, mdLines:list[str], tocSection:str = 'Contents'
 		if _inTOC:
 			if line.startswith('#'):	# End of TOC?
 				_inTOC = False
+				_lines.append(f'\n')
 				_lines.append(line)
 				continue
 			matches = re.findall(tocregex, line)	# Replace entry
-- 
GitLab