diff options
Diffstat (limited to 'Doc/conf.py')
| -rw-r--r-- | Doc/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/conf.py b/Doc/conf.py index a984d80..b7fdf45 100644 --- a/Doc/conf.py +++ b/Doc/conf.py @@ -13,7 +13,8 @@ sys.path.append('tools/sphinxext') # General configuration # --------------------- -extensions = ['sphinx.ext.refcounting', 'sphinx.ext.coverage'] +extensions = ['sphinx.ext.refcounting', 'sphinx.ext.coverage', + 'sphinx.ext.doctest'] templates_path = ['tools/sphinxext'] # General substitutions. |