diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-06-15 18:29:03 +0200 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-06-15 18:39:30 +0200 |
commit | 030d27930858b2a57824940a80b712fc25fbd642 (patch) | |
tree | 8bf6abd5ce80e872f7444fce61c6645c105bb105 | |
parent | 69b9052279a2c69d8d8885b240b3b7b99a86dd17 (diff) | |
download | sparse-030d27930858b2a57824940a80b712fc25fbd642.tar.gz |
doc: minimal version for Sphinx is 1.7
Because of the changes needed after the removal of the obsolete
sphinx.ext.autodoc.AutodocReporter, the minimal version of Sphinx
is 1.7 (the first one containing switch_source_input()).
So, update this information in the conf file.
Fixes: b741a793e63c0fd4a333cd575ac2339f5a9b2698
Reported-by: Ramsay Jones <ramsay@ramsayjones.plus.com>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-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 90583908..bd2532f7 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -21,7 +21,7 @@ import datetime # -- General configuration ------------------------------------------------ -needs_sphinx = '1.3' +needs_sphinx = '1.7' # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom |