Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 9724df0f43a87e20fa080814d05c61fa7c184fce)
+++ doc/user/Makefile	(revision 4d3ca1d868f76bdc3c138e232ca019fd019466eb)
@@ -2,5 +2,5 @@
 
 TeXLIB = .:../LaTeXmacros:../LaTeXmacros/listings:../LaTeXmacros/enumitem:../bibliography/:
-LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && latex
+LaTeX  = TEXINPUTS=${TeXLIB} && export TEXINPUTS && latex -halt-on-error
 BibTeX = BIBINPUTS=${TeXLIB} && export BIBINPUTS && bibtex