Change build order
All checks were successful
the build was successful

This commit is contained in:
Valentin Brandl 2018-12-18 15:33:25 +01:00
parent f5a3d1719e
commit 2b9f5d9db8
No known key found for this signature in database
GPG Key ID: 30D341DD34118D7D

View File

@ -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)