Add a shorter target (tr) to build the tech report

CTSRD-CHERI · Sep 20, 2023 · 000b39a · 000b39a
1 parent 9932637
commit 000b39a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -30,8 +30,9 @@ endif
 LATEXMK_COMMON_FLAGS=-bibtex -pdf
 PDFLATEX_FLAGS=-file-line-error -halt-on-error -interaction=$(INTERACTION)
 
-.PHONY: all
+.PHONY: all tr
 all: ${TARGET}
+tr: ${TARGET_TR}
 
 # The texloganalyser tool can be used to find all warning messages in the latex
 # logfile which is useful when using interaction=batchmode. There is also