summaryrefslogtreecommitdiff
path: root/paper
diff options
context:
space:
mode:
authorjaseg <git-bigdata-wsl-arch@jaseg.de>2021-07-12 14:29:35 +0200
committerjaseg <git-bigdata-wsl-arch@jaseg.de>2021-07-12 14:29:35 +0200
commit69fd5c21a2ac3e953114191ad2660379db88fd44 (patch)
tree721016684a8929a1c885c27629a170a01f3cd8d4 /paper
parent76a12a1b9f8ac848680bb9ff3b459a717aa04c58 (diff)
downloadihsm-69fd5c21a2ac3e953114191ad2660379db88fd44.tar.gz
ihsm-69fd5c21a2ac3e953114191ad2660379db88fd44.tar.bz2
ihsm-69fd5c21a2ac3e953114191ad2660379db88fd44.zip
diff: Fix spacing issue
Diffstat (limited to 'paper')
-rw-r--r--paper/diffinator.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/paper/diffinator.py b/paper/diffinator.py
index ad3b2fb..5c26d35 100644
--- a/paper/diffinator.py
+++ b/paper/diffinator.py
@@ -57,8 +57,8 @@ def generate_git_tex_diff(texfile, bibliography, revision):
line = line.rstrip()
if document_started: # diff results in preamble
- line = addition_re.sub(r'\\color{diffgreen}\1 \\color{black}', line)
- line = deletion_re.sub(r'\\color{diffred}\1 \\color{black}', line)
+ line = addition_re.sub(r' \\color{diffgreen}\1 \\color{black}', line)
+ line = deletion_re.sub(r' \\color{diffred}\1 \\color{black}', line)
else:
if '\\begin{document}' in line: