diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2016-08-13 16:12:46 +0200 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2016-08-14 11:52:40 -0600 |
| commit | a55a51da7a8d6e306a025adc1fb21cd2379ca9bd (patch) | |
| tree | 6d709f4f248f7a9739786362142c5b6f66efbaab /Documentation | |
| parent | 666756252deede35014e9ffd4bda70127d7dddf1 (diff) | |
doc-rst: add docutils config file
To stop the sphinx-build on severe errors and exit with an exit code (to
stop make) the halt_level must be set. The halt_level can't be set from
sphinx, it is a docutils configuration [1]. For this a docutils.conf was
added.
[1] http://docutils.sourceforge.net/docs/user/config.html
Signed-off-by: Markus Heiser <markus.heiser@darmarIT.de>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/docutils.conf | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Documentation/docutils.conf b/Documentation/docutils.conf new file mode 100644 index 000000000000..2830772264c8 --- /dev/null +++ b/Documentation/docutils.conf @@ -0,0 +1,7 @@ +# -*- coding: utf-8 mode: conf-colon -*- +# +# docutils configuration file +# http://docutils.sourceforge.net/docs/user/config.html + +[general] +halt_level: severe
\ No newline at end of file |