diff options
| author | John Keeping <john@metanate.com> | 2017-03-03 12:24:05 +0000 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2017-03-03 16:12:30 -0700 |
| commit | fd5d666932d51b2552ecc0280047d6b35d9b6cd1 (patch) | |
| tree | 1a473db40688b519747c55a7bd347f97b242c195 /Documentation/conf.py | |
| parent | f3fc83e55533b9fddac1d4eda79956768df569ea (diff) | |
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>
Diffstat (limited to 'Documentation/conf.py')
| -rw-r--r-- | Documentation/conf.py | 2 |
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 ---------------------------------------------- |