Re: [PATCH] Documentation/sphinx: fix primary_domain configuration

2017-03-03 Thread Jonathan Corbet
On Fri, 3 Mar 2017 12:24:05 + John Keeping 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 -- To un

[PATCH] Documentation/sphinx: fix primary_domain configuration

2017-03-03 Thread John Keeping
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 --- Documentation/conf.py | 2 +- 1 file changed, 1 insertion(+), 1