aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClément Pit-Claudel2018-09-12 19:20:32 -0400
committerThéo Zimmermann2018-09-20 10:12:55 +0200
commit31ac5a2ec8eb71b0bf31c7a5d046f9a9bc366f2e (patch)
treea797f70da7931f4b0df550a3817484904173b50e
parent3eebeb6d39340a6e9feabce567f688df0e7270a6 (diff)
[doc] Replace app.info (deprecated in Sphinx 8.0) with logger.info
-rwxr-xr-xdoc/sphinx/conf.py6
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):