summaryrefslogtreecommitdiff
path: root/paper
diff options
context:
space:
mode:
authorjaseg <git-bigdata-wsl-arch@jaseg.de>2021-07-12 14:25:35 +0200
committerjaseg <git-bigdata-wsl-arch@jaseg.de>2021-07-12 14:25:35 +0200
commit76a12a1b9f8ac848680bb9ff3b459a717aa04c58 (patch)
tree27538b0d0cd358753dc6e4c5c79c81b48d07269a /paper
parent4019ad514b68e44951b0a1d31316e26877467175 (diff)
downloadihsm-76a12a1b9f8ac848680bb9ff3b459a717aa04c58.tar.gz
ihsm-76a12a1b9f8ac848680bb9ff3b459a717aa04c58.tar.bz2
ihsm-76a12a1b9f8ac848680bb9ff3b459a717aa04c58.zip
Prettify diff
Diffstat (limited to 'paper')
-rw-r--r--paper/Makefile1
-rw-r--r--paper/diffinator.py4
2 files changed, 3 insertions, 2 deletions
diff --git a/paper/Makefile b/paper/Makefile
index eb94566..285d184 100644
--- a/paper/Makefile
+++ b/paper/Makefile
@@ -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
diff --git a/paper/diffinator.py b/paper/diffinator.py
index 2972d47..ad3b2fb 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: