diff options
| author | Jonathan Corbet <[email protected]> | 2023-01-04 10:47:39 -0700 |
|---|---|---|
| committer | Heinrich Schuchardt <[email protected]> | 2023-11-20 19:06:22 +0100 |
| commit | dc23eb8e0e1ea07f9a60d60fb3af053c931bcb46 (patch) | |
| tree | ecd52bcf4742d0d3c094932557f2483bfccccfe3 /doc/develop | |
| parent | 63e41659f22daf8dfd96c3c092d3ff88a9315d4a (diff) | |
docs: Fix the docs build with Sphinx 6.0
Sphinx 6.0 removed the execfile_() function, which we use as part of the
configuration process. They *did* warn us... Just open-code the
functionality as is done in Sphinx itself.
Tested (using SPHINX_CONF, since this code is only executed with an
alternative config file) on various Sphinx versions from 2.5 through 6.0.
Reported-by: Martin Liška <[email protected]>
Cc: [email protected]
Signed-off-by: Jonathan Corbet <[email protected]>
Rebased for U-Boot
Signed-off-by: Heinrich Schuchardt <[email protected]>
Diffstat (limited to 'doc/develop')
0 files changed, 0 insertions, 0 deletions