From 3d983866a1b080ff618717cee6fea0bd7c22a4f3 Mon Sep 17 00:00:00 2001 From: Frank Gevaerts Date: Mon, 12 Jan 2015 12:18:04 +0100 Subject: Set latex input to /dev/null to avoid blocking on errors Change-Id: If8878efb5d4244f5d25b9bfd4751a262080af53f --- manual/LaTeX.Rules | 4 ++-- manual/Makefile.pdflatex | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/manual/LaTeX.Rules b/manual/LaTeX.Rules index cfe43b055c..a18562992f 100644 --- a/manual/LaTeX.Rules +++ b/manual/LaTeX.Rules @@ -230,7 +230,7 @@ define run-latex makeobsolete() { touch -r $$(ls *.old | tail -n 1) $${1} ; true ; } ; \ nochange() { for file ; do [ ! -f $${1} ] || cmp $${1} $${1}.old >/dev/null || return ; done ; true ; } ; \ saveold $(MONITOR_FILES) ; \ - if $(LATEX) $(LATEXOPTS) $* $(LATEXFILTER) ; then \ + if $(LATEX) $(LATEXOPTS) $*