summaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorMarkus Heiser <markus.heiser@darmarIT.de>2016-08-13 16:12:46 +0200
committerJonathan Corbet <corbet@lwn.net>2016-08-14 11:52:40 -0600
commita55a51da7a8d6e306a025adc1fb21cd2379ca9bd (patch)
tree6d709f4f248f7a9739786362142c5b6f66efbaab /Documentation
parent666756252deede35014e9ffd4bda70127d7dddf1 (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.conf7
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