summaryrefslogtreecommitdiffstats
path: root/Doc/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/conf.py')
-rw-r--r--Doc/conf.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/conf.py b/Doc/conf.py
index 32db343..12d74ea 100644
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -14,7 +14,8 @@ sys.path.append(os.path.abspath('includes'))
# ---------------------
extensions = ['sphinx.ext.coverage', 'sphinx.ext.doctest',
- 'pyspecific', 'c_annotations', 'escape4chm']
+ 'pyspecific', 'c_annotations', 'escape4chm',
+ 'asdl_highlight']
doctest_global_setup = '''