diff options
author | Frank Gevaerts <frank@gevaerts.be> | 2015-01-12 12:18:04 +0100 |
---|---|---|
committer | Frank Gevaerts <frank@gevaerts.be> | 2015-01-12 12:18:26 +0100 |
commit | 3d983866a1b080ff618717cee6fea0bd7c22a4f3 (patch) | |
tree | 814f6fb3593c0ea3c2ce6cda435f7b5b73a7a37f /manual/Makefile.pdflatex | |
parent | 9ffd9327e339ee9028654000497525b62e826652 (diff) | |
download | rockbox-3d983866a1b080ff618717cee6fea0bd7c22a4f3.tar.gz rockbox-3d983866a1b080ff618717cee6fea0bd7c22a4f3.zip |
Set latex input to /dev/null to avoid blocking on errors
Change-Id: If8878efb5d4244f5d25b9bfd4751a262080af53f
Diffstat (limited to 'manual/Makefile.pdflatex')
-rw-r--r-- | manual/Makefile.pdflatex | 2 |
1 files changed, 1 insertions, 1 deletions
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 | |||
16 | 16 | ||
17 | buildhtml: rockbox-build.tex | 17 | buildhtml: rockbox-build.tex |
18 | @mkdir -p $(OBJDIR)/html | 18 | @mkdir -p $(OBJDIR)/html |
19 | @$(HTLATEX) $(DOCUMENT) "$(HTOPTS1),$(SPLITHTML)" $(HTOPTS2) $(HTOPTS3) | 19 | @$(HTLATEX) $(DOCUMENT) "$(HTOPTS1),$(SPLITHTML)" $(HTOPTS2) $(HTOPTS3) </dev/null |
20 | @cp --parent `cat $(OBJDIR)/html/*.html | sed -e '/\.js/!d;s/.*\"\(.*\.js\)\".*/\1/g;/</d' | uniq` $(OBJDIR)/html | 20 | @cp --parent `cat $(OBJDIR)/html/*.html | sed -e '/\.js/!d;s/.*\"\(.*\.js\)\".*/\1/g;/</d' | uniq` $(OBJDIR)/html |
21 | @cp --parent `cat $(OBJDIR)/html/*.html | sed -e '/[pj][np]g/!d;s/.*\"\(.*\.[pj][np]g\)\".*/\1/g;/</d'` $(OBJDIR)/html | 21 | @cp --parent `cat $(OBJDIR)/html/*.html | sed -e '/[pj][np]g/!d;s/.*\"\(.*\.[pj][np]g\)\".*/\1/g;/</d'` $(OBJDIR)/html |
22 | @cp -r $(OBJDIR)/html $(OBJDIR)/../ | 22 | @cp -r $(OBJDIR)/html $(OBJDIR)/../ |