projects / matthijs / projects / internship.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 45b89be)
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 patch | blob | history

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'
 
Unnamed repository; edit this file to name it for gitweb.