diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -1,10 +1,16 @@ MODE ?= main +REBUILD_DEPS ?= yes +DEPS := + +ifeq ($(REBUILD_DEPS), yes) + DEPS += figures/timing-1.pdf figures/timing-2.pdf figures/timing-3.pdf +endif .PHONY: all clean all: main.pdf -main.pdf: figures/timing-1.pdf figures/timing-2.pdf figures/timing-3.pdf +main.pdf: $(DEPS) figures/%.pdf: figures/%.tex latexmk -pdf -shell-escape $< |