diff options
author | Camil Staps | 2016-05-25 22:09:54 +0200 |
---|---|---|
committer | Camil Staps | 2016-05-25 22:09:54 +0200 |
commit | e01d0dcb3e00e4744cc03a7f0d95d601c3c9dcc7 (patch) | |
tree | 7d8ec13c05ecd5876d6809918ce3371081d8a74f | |
parent | Small start on the derivation tree (diff) |
makefile
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ PDF:=$(addsuffix .pdf,$(DOC)) all: $(PDF) -%.voorstel: %.tex +voorstel.pdf: voorstel.tex $(TEX) $(TEXOPTS) $(basename $@) %.pdf: %.tex $(DEP) |