From 4e95a722caa3931c2747cd7b256b90ee1f48aa9f Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 9 Feb 2016 22:19:43 +0100
Subject: PDF instead of dvi

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 8be449d..ffe0cbe 100644
--- a/Makefile
+++ b/Makefile
@@ -3,10 +3,10 @@ TARGET=summary.pdf $(subst .tex,.pdf,$(wildcard discussion-*.tex))
 all: $(TARGET)
 
 summary.pdf: summary.tex $(shell ls sum-*.tex) dogmatics.sty
-	latexmk $<
+	latexmk -pdf $<
 
 %.pdf: %.tex $(shell ls sum-*.tex) dogmatics.sty
-	latexmk $<
+	latexmk -pdf $<
 
 clean:
 	pdflatex -c
-- 
cgit v1.2.3