makefile fix and table with results so far added to ex3

[tt2015.git] / a4 / Makefile

diff --git a/a4/Makefile b/a4/Makefile
index 79844d6..c70a9e0 100644 (file)
--- a/a4/Makefile
+++ b/a4/Makefile
@@ -18,4 +18,4 @@ all: $(DOCUMENT).pdf
        $(LATEX) -ini -jobname="$(basename $@)" "&$(LATEX) $<\dump"
 
 clean:
-       $(RM) -v $(addprefix $(DOCUMENT).,aux fmt log out pdf toc)
+       $(RM) -v $(addprefix $(DOCUMENT).,aux fmt log out pdf toc dvi)