diff options
| author | Jonathan Corbet | 2020-11-30 15:41:56 -0700 |
|---|---|---|
| committer | Jonathan Corbet | 2020-12-11 13:53:38 -0700 |
| commit | 13fef8ef9fb81d338761430003726cd256e28d34 (patch) | |
| tree | 582896bc4dd2558dd132dd961f15c3a379841b6e /Documentation/conf.py | |
| parent | ab9e1ac49b478a2044eba66089bd2742914dd5af (diff) | |
docs: Note that sphinx 1.7 will be required soon
The time has come to drop support for some truly ancient versions of
sphinx; put in a warning now.
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/conf.py')
| -rw-r--r-- | Documentation/conf.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 26b54386a477..6a767294887e 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -112,6 +112,9 @@ if major >= 3: else: extensions.append('cdomain') + if major == 1 and minor < 7: + sys.stderr.write('WARNING: Sphinx 1.7 or greater will be required as of ' + 'the 5.12 release\n') # Ensure that autosectionlabel will produce unique names autosectionlabel_prefix_document = True |