Nyaaori/rockbox
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Set latex input to /dev/null to avoid blocking on errors

Browse source 
Change-Id: If8878efb5d4244f5d25b9bfd4751a262080af53f
This commit is contained in:
Frank Gevaerts 2015-01-12 12:18:04 +01:00
parent 9ffd9327e3
commit 3d983866a1
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
manual/LaTeX.Rules
View file

@ -230,7 +230,7 @@ define run-latex
makeobsolete() { touch -r $$(ls *.old | tail -n 1) $${1} ; true ; } ; \ 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 ; } ; \ nochange() { for file ; do [ ! -f $${1} ] || cmp $${1} $${1}.old >/dev/null || return ; done ; true ; } ; \
saveold $(MONITOR_FILES) ; \ saveold $(MONITOR_FILES) ; \
if $(LATEX) $(LATEXOPTS) $* $(LATEXFILTER) ; then \ if $(LATEX) $(LATEXOPTS) $* </dev/null $(LATEXFILTER); then \
if nochange $(MONITOR_FILES) ; then \ if nochange $(MONITOR_FILES) ; then \
echo "$(MAKE): LaTeX auxiliary files did not change (processing is complete)" ; \ echo "$(MAKE): LaTeX auxiliary files did not change (processing is complete)" ; \
restoreold $(MONITOR_FILES) ; \ restoreold $(MONITOR_FILES) ; \
@ -275,7 +275,7 @@ $(PDF_FILE) : %.pdf : $(TEX_FILES) $(MONITOR_FILES) $(GRAPHIC_FILES) $(XFIG_TEX)
# #
%.aux %.idx : $(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 # Distill xfig .fig files into .fig.tex and either .fig.pdf or .fig.ps

2
manual/Makefile.pdflatex
View file

@ -16,7 +16,7 @@ buildmanual: rockbox-build.tex pdf
buildhtml: rockbox-build.tex buildhtml: rockbox-build.tex
@mkdir -p $(OBJDIR)/html @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 '/\.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 --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)/../ @cp -r $(OBJDIR)/html $(OBJDIR)/../