From c9d759ba849f1160542957082b3a87d9a8927e2d Mon Sep 17 00:00:00 2001
From: Daniel Schadt <kingdread@gmx.de>
Date: Wed, 10 Jul 2019 02:53:32 +0200
Subject: makefile: put all as default target

---
 blocking/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'blocking')

diff --git a/blocking/Makefile b/blocking/Makefile
index e13482b..da7326f 100644
--- a/blocking/Makefile
+++ b/blocking/Makefile
@@ -1,3 +1,5 @@
+all: pdf html
+
 pdf:
 	mkdir -p build
 	pdflatex -output-directory build blocking.tex
@@ -10,6 +12,5 @@ html:
 	cat custom.css >> html/blocking.css
 	rm blocking.4ct blocking.4tc blocking.aux blocking.dvi blocking.idv blocking.lg blocking.log blocking.tmp blocking.xref blocking.css blocking.html
 
-all: pdf html
 
 .PHONY: all pdf html
-- 
cgit v1.2.3