From 2b9f5d9db8e594a1a39ffe157c8eff535f41c9fe Mon Sep 17 00:00:00 2001 From: Valentin Brandl Date: Tue, 18 Dec 2018 15:33:25 +0100 Subject: [PATCH] Change build order --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a0dc83c..72cc000 100644 --- a/Makefile +++ b/Makefile @@ -20,7 +20,7 @@ COMPRESS_TARGETS=$(HTML_TARGETS:%=%.gz) COMPRESS_TARGETS+=$(PDF_TARGETS:%=%.gz) COMPRESS_TARGETS+=$(TEX_TARGETS:%=%.gz) -default: $(DOT_TARGETS) $(HTML_TARGETS) $(PDF_TARGETS) $(TEX_TARGETS) $(COPY_TARGETS) $(COPY_TARGETS_JPG) +default: $(DOT_TARGETS) $(HTML_TARGETS) $(PDF_TARGETS) $(COPY_TARGETS) $(COPY_TARGETS_JPG) $(TEX_TARGETS) compress: default $(COMPRESS_TARGETS)