diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -4,12 +4,14 @@ MODE ?= main all: main.pdf -main.pdf: figures/timing-1.pdf figures/timing-2.pdf +main.pdf: figures/timing-1.pdf figures/timing-2.pdf figures/timing-3.pdf figures/%.pdf: figures/%.tex latexmk -pdf -shell-escape $< cp $(notdir $@) $@ || true +chapters/scheduling.pdf: figures/timing-3.pdf + # silent structure,structures,pages,resolvers,open source,close source,loading,modules %.pdf: %.tex context --mode=$(MODE) --nonstopmode --silent='*' $< |