diff options
| author | Jani Nikula <jani.nikula@intel.com> | 2016-11-02 07:20:15 -0400 |
|---|---|---|
| committer | Jani Nikula <jani.nikula@intel.com> | 2016-11-03 06:36:30 -0400 |
| commit | eaed1b25a783121ecd4fb4eccebe45b08675b915 (patch) | |
| tree | 6039cdbad2404ccf35f1c097a417822115b10014 /Documentation/Makefile.sphinx | |
| parent | c8556966720f9b54104b55f648a7bbc6f01d7b43 (diff) | |
Documentation/sphinx: change pdflatex interaction mode to batchmode
Radically reduce the noise on stdout. The full build logs will still be
available under Documentatio/output/latex/*.log.
Cc: Mauro Carvalho Chehab <mchehab@osg.samsung.com>
Reviewed-by: Mauro Carvalho Chehab <mchehab@s-opensource.com>
Tested-by: Markus Heiser <markus.heiser@darmarIT.de>
Signed-off-by: Jani Nikula <jani.nikula@intel.com>
Diffstat (limited to 'Documentation/Makefile.sphinx')
| -rw-r--r-- | Documentation/Makefile.sphinx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index 4d3ff4b7a2a5..d58d776d8d00 100644 --- a/Documentation/Makefile.sphinx +++ b/Documentation/Makefile.sphinx | |||
| @@ -11,7 +11,7 @@ SPHINX_CONF = conf.py | |||
| 11 | PAPER = | 11 | PAPER = |
| 12 | BUILDDIR = $(obj)/output | 12 | BUILDDIR = $(obj)/output |
| 13 | PDFLATEX = xelatex | 13 | PDFLATEX = xelatex |
| 14 | LATEXOPTS = -interaction=nonstopmode | 14 | LATEXOPTS = -interaction=batchmode |
| 15 | 15 | ||
| 16 | # User-friendly check for sphinx-build | 16 | # User-friendly check for sphinx-build |
| 17 | HAVE_SPHINX := $(shell if which $(SPHINXBUILD) >/dev/null 2>&1; then echo 1; else echo 0; fi) | 17 | HAVE_SPHINX := $(shell if which $(SPHINXBUILD) >/dev/null 2>&1; then echo 1; else echo 0; fi) |