From 6dd75fd080777e6b013f5cd4308c1da9d12f40db Mon Sep 17 00:00:00 2001 From: jaseg Date: Sat, 28 Dec 2019 10:51:58 +0100 Subject: Initial commit --- ma/Makefile | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 ma/Makefile (limited to 'ma/Makefile') 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 -- cgit