diff options
Diffstat (limited to 'ma/Makefile')
-rw-r--r-- | ma/Makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/ma/Makefile b/ma/Makefile new file mode 100644 index 0000000..3645f5f --- /dev/null +++ b/ma/Makefile @@ -0,0 +1,19 @@ + +SHELL := bash +.ONESHELL: +.SHELLFLAGS := -eu -o pipefail -c +.DELETE_ON_ERROR: +MAKEFLAGS += --warn-undefined-variables +MAKEFLAGS += --no-builtin-rules + +all: safety_reset.pdf + +%.pdf: %.tex %.bib + pdflatex $< + biber $* + pdflatex $< + +.PHONY: clean +clean: + rm -f safety_reset.aux safety_reset.bbl safety_reset.bcf safety_reset.log safety_reset.blg + rm -f safety_reset.out safety_reset.run.xml texput.log |