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