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 2e0cff01344d03f362b12b6a280170a773ef005b..da42efaca3577c010e66a6d7ca2d9e6369e4a5a5 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)