updated makefile

diff --git a/Makefile b/Makefile
index 939e94e..9f55cf5 100644 (file)
--- 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)