diff: Fix spacing issue

This commit is contained in:
jaseg 2021-07-12 14:29:35 +02:00
parent 76a12a1b9f
commit 69fd5c21a2

View file

@ -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: