summaryrefslogtreecommitdiffhomepage
path: root/wg01.mk
diff options
context:
space:
mode:
Diffstat (limited to 'wg01.mk')
-rw-r--r--wg01.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/wg01.mk b/wg01.mk
index d93f7ef..598dbd1 100644
--- a/wg01.mk
+++ b/wg01.mk
@@ -5,7 +5,7 @@
# Licensed under Apache 2.0.
.PHONY: wg01
-wg01:
+wg01: clean
$(HTMLTEX) source/wg01/paper.tex
$(PDFTEX) source/wg01/paper.tex