From 532b0df9b179dee113aefb25ec9e879ebd8398bb Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 22 May 2017 16:23:03 +0200 Subject: [PATCH] fix makefile --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index c13b415..8f9b551 100644 --- a/Makefile +++ b/Makefile @@ -19,12 +19,12 @@ BIBS:=$(wildcard *.tex) .PHONY: all clean .SECONDARY: $(addsuffix .fmt,$(DOCS)) $(FIGURES) -all: $(addsuffix .pdf,$(DOCS)) +all: $(addprefix output/,$(addsuffix .pdf,$(DOCS))) output/%.fmt: %.pre $(LATEX) $(LATEXFLAGS) -ini -jobname="$(basename $<)" "&$(LATEX) $<\dump" -%.pdf: %.mlog +output/%.pdf: %.mlog if $(GREP) -iFq 'Rerun' $<; then $(LATEX) $(LATEXFLAGS) $(basename $<); fi %.mlog: %.tex output/%.fmt $(BIBS) $(TEXS) $(FIGURES) $(LISTINGS) @@ -37,4 +37,4 @@ img/%.png: fig/%.dot dot -Tpng $< > $@ clean: - $(RM) output/** $(FIGURES) + $(RM) output/* $(FIGURES) -- 2.20.1