diff options
-rw-r--r-- | manual/LaTeX.Rules | 4 | ||||
-rw-r--r-- | 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) $* </dev/null $(LATEXFILTER); then \ if nochange $(MONITOR_FILES) ; then \ echo "$(MAKE): LaTeX auxiliary files did not change (processing is complete)" ; \ restoreold $(MONITOR_FILES) ; \ @@ -275,7 +275,7 @@ $(PDF_FILE) : %.pdf : $(TEX_FILES) $(MONITOR_FILES) $(GRAPHIC_FILES) $(XFIG_TEX) # %.aux %.idx : $(XFIG_TEX) - $(LATEX) $(LATEXOPTS) $* $(LATEXFILTER) + $(LATEX) $(LATEXOPTS) $* </dev/null $(LATEXFILTER) # # Distill xfig .fig files into .fig.tex and either .fig.pdf or .fig.ps diff --git a/manual/Makefile.pdflatex b/manual/Makefile.pdflatex index c351f82fb5..c533e0fed0 100644 --- a/manual/Makefile.pdflatex +++ b/manual/Makefile.pdflatex @@ -16,7 +16,7 @@ buildmanual: rockbox-build.tex pdf buildhtml: rockbox-build.tex @mkdir -p $(OBJDIR)/html - @$(HTLATEX) $(DOCUMENT) "$(HTOPTS1),$(SPLITHTML)" $(HTOPTS2) $(HTOPTS3) + @$(HTLATEX) $(DOCUMENT) "$(HTOPTS1),$(SPLITHTML)" $(HTOPTS2) $(HTOPTS3) </dev/null @cp --parent `cat $(OBJDIR)/html/*.html | sed -e '/\.js/!d;s/.*\"\(.*\.js\)\".*/\1/g;/</d' | uniq` $(OBJDIR)/html @cp --parent `cat $(OBJDIR)/html/*.html | sed -e '/[pj][np]g/!d;s/.*\"\(.*\.[pj][np]g\)\".*/\1/g;/</d'` $(OBJDIR)/html @cp -r $(OBJDIR)/html $(OBJDIR)/../ |