summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Keeping <john@metanate.com>2017-03-03 15:24:05 +0300
committerJonathan Corbet <corbet@lwn.net>2017-03-04 02:12:30 +0300
commitfd5d666932d51b2552ecc0280047d6b35d9b6cd1 (patch)
tree1a473db40688b519747c55a7bd347f97b242c195
parentf3fc83e55533b9fddac1d4eda79956768df569ea (diff)
downloadlinux-fd5d666932d51b2552ecc0280047d6b35d9b6cd1.tar.xz
Documentation/sphinx: fix primary_domain configuration
With Sphinx 1.5.3 I get the warning: WARNING: primary_domain 'C' not found, ignored. It seems that domain names in Sphinx are case-sensitive and for the C domain the name must be lower case. Signed-off-by: John Keeping <john@metanate.com> Signed-off-by: Jonathan Corbet <corbet@lwn.net>
-rw-r--r--Documentation/conf.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py
index f6823cf01275..7fadb3b83293 100644
--- a/Documentation/conf.py
+++ b/Documentation/conf.py
@@ -135,7 +135,7 @@ pygments_style = 'sphinx'
# If true, `todo` and `todoList` produce output, else they produce nothing.
todo_include_todos = False
-primary_domain = 'C'
+primary_domain = 'c'
highlight_language = 'none'
# -- Options for HTML output ----------------------------------------------