Prettify diff

This commit is contained in:
jaseg 2021-07-12 14:25:35 +02:00
parent 4019ad514b
commit 76a12a1b9f
2 changed files with 3 additions and 2 deletions

View file

@ -38,6 +38,7 @@ resources/%.pdf: $(LAB_PATH)/%.ipynb
clean:
rm -f ${main_tex}.aux ${main_tex}.bbl ${main_tex}.bcf ${main_tex}.log ${main_tex}.blg
rm -f ${main_tex}.out ${main_tex}.run.xml texput.log
rm -f ${main_tex}_diff.*
rm -f ${brief_tex}.aux ${brief_tex}.bbl ${brief_tex}.bcf ${brief_tex}.log ${brief_tex}.blg
rm -f ${brief_tex}.out ${brief_tex}.run.xml texput.log

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: