diff options
| author | jaseg <git-bigdata-wsl-arch@jaseg.de> | 2021-07-12 14:25:35 +0200 |
|---|---|---|
| committer | jaseg <git-bigdata-wsl-arch@jaseg.de> | 2021-07-12 14:25:35 +0200 |
| commit | 76a12a1b9f8ac848680bb9ff3b459a717aa04c58 (patch) | |
| tree | 27538b0d0cd358753dc6e4c5c79c81b48d07269a | |
| parent | 4019ad514b68e44951b0a1d31316e26877467175 (diff) | |
| download | ihsm-76a12a1b9f8ac848680bb9ff3b459a717aa04c58.tar.gz ihsm-76a12a1b9f8ac848680bb9ff3b459a717aa04c58.tar.bz2 ihsm-76a12a1b9f8ac848680bb9ff3b459a717aa04c58.zip | |
Prettify diff
| -rw-r--r-- | paper/Makefile | 1 | ||||
| -rw-r--r-- | paper/diffinator.py | 4 |
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: |