From 10c2985cddbd7f40f33162db2b3fa18c4fb80f7c Mon Sep 17 00:00:00 2001
From: Tobias Brunner <tobias@strongswan.org>
Date: Wed, 16 Apr 2025 15:30:35 +0200
Subject: [PATCH] conf: Escape " and \ in man page output

---
 conf/format-options.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/conf/format-options.py b/conf/format-options.py
index e0fa180552..176a3837ca 100755
--- a/conf/format-options.py
+++ b/conf/format-options.py
@@ -241,6 +241,7 @@ class GroffTagReplacer(TagReplacer):
 			if not punct:
 				punct = ''
 			text = re.sub(r'[\r\n\t]', ' ', m.group('text'))
+			text = re.sub(r'"', '""', text)
 			return '{0}.R{1} "{2}" "{3}" "{4}"\n'.format(nl, format, brack, text, punct)
 		return replacer
 
@@ -305,7 +306,8 @@ class ManFormatter:
 	def __groffize(self, text):
 		"""Encode text as groff text"""
 		text = self.__tags.replace(text)
-		text = re.sub(r'(?<!\\)-', r'\\-', text)
+		text = re.sub(r'\\(?!-)', '\\[rs]', text)
+		text = re.sub(r'(?<!\\)-', '\\-', text)
 		# remove any leading whitespace
 		return re.sub(r'^\s+', '', text, flags = re.MULTILINE)
 
-- 
2.47.2