summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorCamil Staps2016-05-25 22:09:54 +0200
committerCamil Staps2016-05-25 22:09:54 +0200
commite01d0dcb3e00e4744cc03a7f0d95d601c3c9dcc7 (patch)
tree7d8ec13c05ecd5876d6809918ce3371081d8a74f /Makefile
parentSmall start on the derivation tree (diff)
makefile
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f93ccc5..55aca7f 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ PDF:=$(addsuffix .pdf,$(DOC))
all: $(PDF)
-%.voorstel: %.tex
+voorstel.pdf: voorstel.tex
$(TEX) $(TEXOPTS) $(basename $@)
%.pdf: %.tex $(DEP)