Browse Source

Enable sphinx_search.extension added in #3277

I forgot to push this change in the previous PR...
Rémi Verschelde 5 years ago
parent
commit
c85c68e694
1 changed files with 1 additions and 0 deletions
  1. 1 0
      conf.py

+ 1 - 0
conf.py

@@ -14,6 +14,7 @@ needs_sphinx = "1.3"
 sys.path.append(os.path.abspath("_extensions"))
 extensions = [
     "gdscript",
+    "sphinx_search.extension",
     "sphinx_tabs.tabs",
     "sphinx.ext.imgmath",
 ]