diff options
Diffstat (limited to 'thesis')
| -rw-r--r-- | thesis/.gitignore | 1 | ||||
| -rw-r--r-- | thesis/Makefile | 12 |
2 files changed, 10 insertions, 3 deletions
diff --git a/thesis/.gitignore b/thesis/.gitignore index de0fdb7..4e69c31 100644 --- a/thesis/.gitignore +++ b/thesis/.gitignore @@ -1,2 +1,3 @@ main.pdf assets/*.png +main.out diff --git a/thesis/Makefile b/thesis/Makefile index 3725d61..f81b59b 100644 --- a/thesis/Makefile +++ b/thesis/Makefile @@ -1,4 +1,4 @@ -graphs := assets/insert.png assets/contains.png +graphs := $(patsubst %.json,%.png,$(wildcard assets/*.json)) default: main.pdf @@ -6,9 +6,15 @@ main.pdf: $(graphs) $(shell find . -iname '*.tex') biblio.bib latexmk -pdf $(graphs): assets/%.png: assets/${subst png,json,%}.json - vl2png ${subst png,json,$@} $@ + vl2png -s 2 ${subst png,json,$@} $@ -.PHONY: clean +.PHONY: clean watch clean: latexmk -c rm -f assets/*.png + +watch: + while true; do \ + $(MAKE) $(WATCHMAKE); \ + inotifywait -qre close_write .; \ + done |