Rename sphinx.addons to sphinx.ext.

diff --git a/Doc/conf.py b/Doc/conf.py
index bca1bef4d4e95b7563f3d8d220c95ce801a93122..10b9d6e44d95965567ff6acecb15ed22b30464bb 100644 (file)
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -13,7 +13,7 @@ sys.path.append('tools/sphinxext')
 # General configuration
 # ---------------------
 
-extensions = ['sphinx.addons.refcounting', 'sphinx.addons.coverage']
+extensions = ['sphinx.ext.refcounting', 'sphinx.ext.coverage']
 
 # General substitutions.
 project = 'Python'