diff options
Diffstat (limited to 'Doc/conf.py')
| -rw-r--r-- | Doc/conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/conf.py b/Doc/conf.py index 6b085e0..5b63cad 100644 --- a/Doc/conf.py +++ b/Doc/conf.py @@ -12,8 +12,8 @@ sys.path.append(os.path.abspath('tools/sphinxext')) # General configuration # --------------------- -extensions = ['sphinx.ext.refcounting', 'sphinx.ext.coverage', - 'sphinx.ext.doctest', 'pyspecific'] +extensions = ['sphinx.ext.coverage', 'sphinx.ext.doctest', + 'pyspecific', 'c_annotations'] templates_path = ['tools/sphinxext'] # General substitutions. |