diff --git a/makefile b/makefile
index c0eaafeb..d93f6dd1 100644
--- a/makefile
+++ b/makefile
@@ -79,7 +79,7 @@ $(PSF): %.ps.gz: %.ps
 %.dvi: %.tex %.aux
 	$(LATEX) $<
 
-$(PDF): LATEX = pdflatex
+$(PDF): LATEX = pdflatex -halt-on-error
 $(PDF): %.pdf: %.tex %.aux
 
 %.aux: %.tex