summaryrefslogtreecommitdiffstats
path: root/manual
diff options
context:
space:
mode:
authorFrank Gevaerts <frank@gevaerts.be>2015-01-12 12:18:04 +0100
committerFrank Gevaerts <frank@gevaerts.be>2015-01-12 12:18:26 +0100
commit3d983866a1b080ff618717cee6fea0bd7c22a4f3 (patch)
tree814f6fb3593c0ea3c2ce6cda435f7b5b73a7a37f /manual
parent9ffd9327e339ee9028654000497525b62e826652 (diff)
downloadrockbox-3d983866a1b080ff618717cee6fea0bd7c22a4f3.tar.gz
rockbox-3d983866a1b080ff618717cee6fea0bd7c22a4f3.tar.bz2
rockbox-3d983866a1b080ff618717cee6fea0bd7c22a4f3.zip
Set latex input to /dev/null to avoid blocking on errors
Change-Id: If8878efb5d4244f5d25b9bfd4751a262080af53f
Diffstat (limited to 'manual')
-rw-r--r--manual/LaTeX.Rules4
-rw-r--r--manual/Makefile.pdflatex2
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)/../