From 47c98e40b49a285a02236e7fdae225aab08285a4 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 3 Mar 2016 20:32:36 +0100
Subject: [PATCH] updated makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.20.1