From 6aafaa71583e1fb70cb05f9187f36005bb0d6393 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guillaume=20N=C3=A9e?= <guillaume.nee@gmail.com>
Date: Fri, 23 Jul 2010 18:44:44 +0200
Subject: [PATCH] pop up warning box and stop progress bar on build error

---
 makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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