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