diff options
Diffstat (limited to 'documentation')
-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 407ea3292f..5a2e25f7b2 100644 --- a/documentation/conf.py +++ b/documentation/conf.py | |||
@@ -33,6 +33,9 @@ author = 'The Linux Foundation' | |||
33 | 33 | ||
34 | # -- General configuration --------------------------------------------------- | 34 | # -- General configuration --------------------------------------------------- |
35 | 35 | ||
36 | # Prevent building with an outdated version of sphinx | ||
37 | needs_sphinx = "3.1" | ||
38 | |||
36 | # to load local extension from the folder 'sphinx' | 39 | # to load local extension from the folder 'sphinx' |
37 | sys.path.insert(0, os.path.abspath('sphinx')) | 40 | sys.path.insert(0, os.path.abspath('sphinx')) |
38 | 41 | ||