From 9d9574d16cd508d94c3473c286bc411d2906936c Mon Sep 17 00:00:00 2001
From: Dmitry Petrov <dmitry.petrov@rtsoft.de>
Date: Wed, 13 Mar 2024 19:43:05 +0100
Subject: [PATCH] convert_md2html: fix text duplication

Fix the problem introduced by commit 4f06516 "convert_md2html: fix id
fields for headings".

The text converted from markdown was written twice to the HTML document.
---
 scripts/convert_md2html.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/convert_md2html.py b/scripts/convert_md2html.py
index ba43630f..14747293 100755
--- a/scripts/convert_md2html.py
+++ b/scripts/convert_md2html.py
@@ -226,7 +226,6 @@ def main():
             # Fix TOC links by removing "user-content-" from id fields in
             # headings
             fout.write(html.replace("user-content-", ""))
-            fout.write(html)
             fout.write(FOOTER)
 
             fin.close()
-- 
GitLab