Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 21eb693b6a640317b9d065252cfb3f62076b6681)
+++ doc/user/Makefile	(revision 554a0dba687f5fe1c810207608c083be214d1276)
@@ -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