diff options
| author | Clément Pit-Claudel | 2018-09-12 19:20:32 -0400 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-20 10:12:55 +0200 |
| commit | 31ac5a2ec8eb71b0bf31c7a5d046f9a9bc366f2e (patch) | |
| tree | a797f70da7931f4b0df550a3817484904173b50e | |
| parent | 3eebeb6d39340a6e9feabce567f688df0e7270a6 (diff) | |
[doc] Replace app.info (deprecated in Sphinx 8.0) with logger.info
| -rwxr-xr-x | doc/sphinx/conf.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index c4f2fb11f3..b43d5fb6f0 100755 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -25,6 +25,7 @@ import sys import os from shutil import copyfile +import sphinx # Increase recursion limit for sphinx sys.setrecursionlimit(1500) @@ -90,10 +91,11 @@ def copy_formatspecific_files(app): if fname.endswith(ext): src = os.path.join(app.srcdir, fname) dst = os.path.join(app.srcdir, fname[:-len(ext)] + ".rst") + logger = sphinx.util.logging.getLogger(__name__) if readbin(src) == readbin(dst): - app.info("Skipping {}: {} is up to date".format(src, dst)) + logger.info("Skipping {}: {} is up to date".format(src, dst)) else: - app.info("Copying {} to {}".format(src, dst)) + logger.info("Copying {} to {}".format(src, dst)) copyfile(src, dst) def setup(app): |
