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) $*