From 8288397775d9ea68b3b437419161334d2eab505e Mon Sep 17 00:00:00 2001
From: Jan Frenzel <jan.frenzel@tu-dresden.de>
Date: Wed, 14 Sep 2022 10:16:02 +0200
Subject: [PATCH] Added missing backslash escape in
check-templated-code-snippets.py.
---
doc.zih.tu-dresden.de/util/check-templated-code-snippets.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc.zih.tu-dresden.de/util/check-templated-code-snippets.py b/doc.zih.tu-dresden.de/util/check-templated-code-snippets.py
index 2e0cff013..da42efaca 100755
--- a/doc.zih.tu-dresden.de/util/check-templated-code-snippets.py
+++ b/doc.zih.tu-dresden.de/util/check-templated-code-snippets.py
@@ -4,7 +4,7 @@ import re
import sys
def escapeSomeSigns(someString):
- return someString.replace("$", "\\$").replace("(", "\\(").replace(")", "\\)").replace("*", "\\*")
+ return someString.replace("\\", "\\\\").replace("$", "\\$").replace("(", "\\(").replace(")", "\\)").replace("*", "\\*")
fileName = sys.argv[1]
print("FILE: " + fileName)
--
GitLab