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/Makefile.sphinx | |
parent | c8556966720f9b54104b55f648a7bbc6f01d7b43 (diff) | |
download | op-kernel-dev-eaed1b25a783121ecd4fb4eccebe45b08675b915.zip op-kernel-dev-eaed1b25a783121ecd4fb4eccebe45b08675b915.tar.gz |
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 4d3ff4b..d58d776 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) |