tree 1a473db40688b519747c55a7bd347f97b242c195
parent f3fc83e55533b9fddac1d4eda79956768df569ea
author John Keeping <john@metanate.com> 1488543845 +0000
committer Jonathan Corbet <corbet@lwn.net> 1488582750 -0700

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>