Add a glossary

2020-10-24 12:16:28 +02:00
parent 8241ddf5be
commit 2b8e6aab39
5 changed files with 130 additions and 0 deletions
@@ -52,6 +52,7 @@ extensions = [
    'sphinx.ext.coverage',
    'sphinxcontrib.httpdomain',
    'sphinxcontrib.images',
+    'sphinxemoji.sphinxemoji',
 ]
 if HAS_PYENCHANT:
    extensions.append('sphinxcontrib.spelling')