diff options
| author | jaseg <git-bigdata-wsl-arch@jaseg.de> | 2021-07-12 14:01:13 +0200 |
|---|---|---|
| committer | jaseg <git-bigdata-wsl-arch@jaseg.de> | 2021-07-12 14:01:13 +0200 |
| commit | 4019ad514b68e44951b0a1d31316e26877467175 (patch) | |
| tree | 19b46c104e610b4b4473bb7ef975aab422abbbe4 /paper/Makefile | |
| parent | 7ea8300468e24cdf9756fee90fcecc1b08d845f6 (diff) | |
| download | ihsm-4019ad514b68e44951b0a1d31316e26877467175.tar.gz ihsm-4019ad514b68e44951b0a1d31316e26877467175.tar.bz2 ihsm-4019ad514b68e44951b0a1d31316e26877467175.zip | |
Add diff pdf generator
Diffstat (limited to 'paper/Makefile')
| -rw-r--r-- | paper/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/paper/Makefile b/paper/Makefile index 1118e71..eb94566 100644 --- a/paper/Makefile +++ b/paper/Makefile @@ -8,6 +8,8 @@ SHELL := bash MAKEFLAGS += --warn-undefined-variables MAKEFLAGS += --no-builtin-rules +DIFF_VERSION ?= v2.0 + main_tex ?= ihsm_paper brief_tex ?= ihsm_tech_report @@ -15,6 +17,12 @@ VERSION_STRING := $(shell git describe --tags --long --dirty) all: ${main_tex}.pdf ${brief_tex}.pdf +.PHONY: diff +diff: ihsm_paper_diff.pdf + +ihsm_paper_diff.tex: ihsm_paper.tex ihsm.bib + python3 diffinator.py $^ $(DIFF_VERSION) > $@ + %.pdf: %.tex ihsm.bib version.tex pdflatex -shell-escape $< biber $* |