diff options
| -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 | ||
