summaryrefslogtreecommitdiff
path: root/ma/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'ma/Makefile')
-rw-r--r--ma/Makefile19
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