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)

No differences found