diff options
| author | Jani Nikula <jani.nikula@intel.com> | 2016-11-02 13:20:15 +0200 |
|---|---|---|
| committer | Jani Nikula <jani.nikula@intel.com> | 2016-11-03 12:36:30 +0200 |
| commit | eaed1b25a783121ecd4fb4eccebe45b08675b915 (patch) | |
| tree | 6039cdbad2404ccf35f1c097a417822115b10014 /Documentation | |
| 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')
| -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 PAPER = BUILDDIR = $(obj)/output PDFLATEX = xelatex -LATEXOPTS = -interaction=nonstopmode +LATEXOPTS = -interaction=batchmode # User-friendly check for sphinx-build HAVE_SPHINX := $(shell if which $(SPHINXBUILD) >/dev/null 2>&1; then echo 1; else echo 0; fi) |