Enable sphinx_search.extension added in godotengine#3277

I forgot to push this change in the previous PR...
Sightwalker · Mar 16, 2020 · c85c68e · c85c68e
1 parent 5d13f26
commit c85c68e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/conf.py b/conf.py
@@ -14,6 +14,7 @@
 sys.path.append(os.path.abspath("_extensions"))
 extensions = [
     "gdscript",
+    "sphinx_search.extension",
     "sphinx_tabs.tabs",
     "sphinx.ext.imgmath",
 ]