diff options
Diffstat (limited to 'thesis')
| -rw-r--r-- | thesis/Justfile | 14 | ||||
| -rw-r--r-- | thesis/Makefile | 14 |
2 files changed, 14 insertions, 14 deletions
diff --git a/thesis/Justfile b/thesis/Justfile deleted file mode 100644 index 2780fb9..0000000 --- a/thesis/Justfile +++ /dev/null @@ -1,14 +0,0 @@ -default: build - -build: graphs - latexmk -pdf - -graphs: - for f in assets/*.json; do vl2png -s 1.5 $f ${f/json/png}; done - -watch-latex: - latexmk -pdf -pvc - -clean: - latexmk -c - rm -f assets/*.png diff --git a/thesis/Makefile b/thesis/Makefile new file mode 100644 index 0000000..3725d61 --- /dev/null +++ b/thesis/Makefile @@ -0,0 +1,14 @@ +graphs := assets/insert.png assets/contains.png + +default: main.pdf + +main.pdf: $(graphs) $(shell find . -iname '*.tex') biblio.bib + latexmk -pdf + +$(graphs): assets/%.png: assets/${subst png,json,%}.json + vl2png ${subst png,json,$@} $@ + +.PHONY: clean +clean: + latexmk -c + rm -f assets/*.png |