From 993f1b5d79c087e49315059e45382aa14abd95a0 Mon Sep 17 00:00:00 2001 From: Valentin Brandl Date: Thu, 31 Jan 2019 15:20:08 +0100 Subject: [PATCH] Skip generation of PDF files --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 72cc000..966ceac 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) $(COPY_TARGETS) $(COPY_TARGETS_JPG) $(TEX_TARGETS) +default: $(DOT_TARGETS) $(HTML_TARGETS) $(COPY_TARGETS) $(COPY_TARGETS_JPG) $(TEX_TARGETS) compress: default $(COMPRESS_TARGETS)