From 4019ad514b68e44951b0a1d31316e26877467175 Mon Sep 17 00:00:00 2001
From: jaseg <git-bigdata-wsl-arch@jaseg.de>
Date: Mon, 12 Jul 2021 14:01:13 +0200
Subject: Add diff pdf generator

---
 paper/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'paper/Makefile')

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 $* 
-- 
cgit