From 8ad3bed87680f5fb93d1ee0d90668c2188a7c8a9 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <kooijman@eris.recoresystems.com>
Date: Mon, 15 Sep 2008 12:18:09 +0200
Subject: [PATCH] Let the Makefile generate pdf by default, dvi seems broken.

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

diff --git a/Report/Makefile b/Report/Makefile
index fac9ed7..af318ce 100644
--- a/Report/Makefile
+++ b/Report/Makefile
@@ -1,4 +1,4 @@
-all: Report.dvi
+all: Report.pdf
 
 REPEAT_TEXT = 'Rerun to get cross-references right'
 
-- 
2.30.2