diff options
Diffstat (limited to 'manual/LaTeX.Rules')
-rw-r--r-- | manual/LaTeX.Rules | 4 |
1 files changed, 2 insertions, 2 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 | |||
230 | makeobsolete() { touch -r $$(ls *.old | tail -n 1) $${1} ; true ; } ; \ | 230 | makeobsolete() { touch -r $$(ls *.old | tail -n 1) $${1} ; true ; } ; \ |
231 | nochange() { for file ; do [ ! -f $${1} ] || cmp $${1} $${1}.old >/dev/null || return ; done ; true ; } ; \ | 231 | nochange() { for file ; do [ ! -f $${1} ] || cmp $${1} $${1}.old >/dev/null || return ; done ; true ; } ; \ |
232 | saveold $(MONITOR_FILES) ; \ | 232 | saveold $(MONITOR_FILES) ; \ |
233 | if $(LATEX) $(LATEXOPTS) $* $(LATEXFILTER) ; then \ | 233 | if $(LATEX) $(LATEXOPTS) $* </dev/null $(LATEXFILTER); then \ |
234 | if nochange $(MONITOR_FILES) ; then \ | 234 | if nochange $(MONITOR_FILES) ; then \ |
235 | echo "$(MAKE): LaTeX auxiliary files did not change (processing is complete)" ; \ | 235 | echo "$(MAKE): LaTeX auxiliary files did not change (processing is complete)" ; \ |
236 | restoreold $(MONITOR_FILES) ; \ | 236 | restoreold $(MONITOR_FILES) ; \ |
@@ -275,7 +275,7 @@ $(PDF_FILE) : %.pdf : $(TEX_FILES) $(MONITOR_FILES) $(GRAPHIC_FILES) $(XFIG_TEX) | |||
275 | # | 275 | # |
276 | 276 | ||
277 | %.aux %.idx : $(XFIG_TEX) | 277 | %.aux %.idx : $(XFIG_TEX) |
278 | $(LATEX) $(LATEXOPTS) $* $(LATEXFILTER) | 278 | $(LATEX) $(LATEXOPTS) $* </dev/null $(LATEXFILTER) |
279 | 279 | ||
280 | # | 280 | # |
281 | # Distill xfig .fig files into .fig.tex and either .fig.pdf or .fig.ps | 281 | # Distill xfig .fig files into .fig.tex and either .fig.pdf or .fig.ps |