Let the Makefile generate pdf by default, dvi seems broken.
authorMatthijs Kooijman <kooijman@eris.recoresystems.com>
Mon, 15 Sep 2008 10:18:09 +0000 (12:18 +0200)
committerMatthijs Kooijman <kooijman@eris.recoresystems.com>
Mon, 15 Sep 2008 10:18:09 +0000 (12:18 +0200)
Report/Makefile

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