From 7ee990fb3cae45c7a471da7e27d944c2822174d7 Mon Sep 17 00:00:00 2001
From: Viktor Kovacs <viktorkovacs@gmail.com>
Date: Wed, 11 Jan 2023 08:21:29 +0100
Subject: [PATCH] Use same line endings in all doc files.

---
 tools/generate_docs.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/generate_docs.py b/tools/generate_docs.py
index 6c62b15..2ca36f3 100644
--- a/tools/generate_docs.py
+++ b/tools/generate_docs.py
@@ -358,7 +358,8 @@ def CreateFromTemplate (templateHtmlPath, resultHtmlPath, navigation, title, con
     Tools.ReplaceStringsInFile (resultHtmlPath, [
         ('$$$TITLE$$$', title),
         ('$$$NAVIGATION$$$', navigation.GenerateHtml ()),
-        ('$$$MAIN$$$', content)
+        ('$$$MAIN$$$', content),
+        ('\r\n', '\n')
     ])
 
 def BuildNavigation (pageGroups, hierarchy):