Let the Makefile generate pdf by default, dvi seems broken.

[matthijs/projects/internship.git] / Report / Makefile

diff --git a/Report/Makefile b/Report/Makefile
index fac9ed755d77ee9e3c873d03543e9a58f35d5d4d..af318ce990c7784b423761598dafd137d3388eb4 100644 (file)
--- a/Report/Makefile
+++ b/Report/Makefile
@@ -1,4 +1,4 @@
-all: Report.dvi
+all: Report.pdf
 
 REPEAT_TEXT = 'Rerun to get cross-references right'