Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.kernel > #1591905 > unrolled thread

[PATCH] Documentation/sphinx: fix primary_domain configuration

Back to article view | Back to linux.kernel

Contents

  [PATCH] Documentation/sphinx: fix primary_domain configuration John Keeping <john@metanate.com> - 2017-03-03 13:30 +0100
    Re: [PATCH] Documentation/sphinx: fix primary_domain configuration Jonathan Corbet <corbet@lwn.net> - 2017-03-04 00:50 +0100

#1591905 — [PATCH] 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>
---
 Documentation/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ----------------------------------------------
-- 
2.12.0.377.gf910686b23.dirty

[toc] | [next] | [standalone]

#1592344

On Fri,  3 Mar 2017 12:24:05 +0000
John Keeping <john@metanate.com> wrote:

> 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.

Applied, thanks.

jon

[toc] | [prev] | [standalone]

Back to top | Article view | linux.kernel

csiph-web