Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 9724df0f43a87e20fa080814d05c61fa7c184fce)
+++ doc/user/Makefile	(revision ca35c51743c5aa90ec6fd8bc56f12cfc866101ff)
@@ -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