From: Mart Lubbers Date: Thu, 3 Mar 2016 19:32:36 +0000 (+0100) Subject: updated makefile X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=47c98e40b49a285a02236e7fdae225aab08285a4;p=linuxnijmegen-python.git updated makefile --- diff --git a/Makefile b/Makefile index 939e94e..9f55cf5 100644 --- a/Makefile +++ b/Makefile @@ -14,4 +14,4 @@ all: $(DOCUMENT).pdf $(LATEX) -ini -shell-escape -jobname="$(basename $@)" "&$(LATEX) $<\dump" clean: - $(RM) -v $(addprefix $(DOCUMENT)., aux fmt log nav out pdf snm toc) + $(RM) -v $(addprefix $(DOCUMENT)., aux fmt log nav out pdf snm toc vrb)