From: Matthijs Kooijman Date: Mon, 15 Sep 2008 10:18:09 +0000 (+0200) Subject: Let the Makefile generate pdf by default, dvi seems broken. X-Git-Tag: Report-final~6 X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fprojects%2Finternship.git;a=commitdiff_plain;h=8ad3bed87680f5fb93d1ee0d90668c2188a7c8a9 Let the Makefile generate pdf by default, dvi seems broken. --- 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'