diff --git a/source/conf.py b/source/conf.py index b58d64385f..d6e8937e64 100644 --- a/source/conf.py +++ b/source/conf.py @@ -57,6 +57,7 @@ "sphinx-prompt", "sphinx_toolbox.collapse", "sphinx_copybutton", + "sphinx_docsearch", ] local_extensions = [ @@ -236,6 +237,9 @@ ("warning-is-error", True), ] +docsearch_app_id = "A8AKA13JPF" +docsearch_api_key = "e394dd6e7f75ad724520eeb82c5504fe" +docsearch_index_name = "wpilib" def setup(app): app.add_css_file("css/frc-rtd.css") diff --git a/source/requirements.txt b/source/requirements.txt index fa98e56e7d..5d2b41a4fa 100644 --- a/source/requirements.txt +++ b/source/requirements.txt @@ -105,3 +105,4 @@ urllib3==1.26.19 ; python_version >= "3.9" and python_version < "3.13" webencodings==0.5.1 ; python_version >= "3.9" and python_version < "3.13" zipp==3.19.2 ; python_version >= "3.9" and python_version < "3.10" zopfli==0.2.3 ; python_version >= "3.9" and python_version < "3.13" +sphinx-docsearch \ No newline at end of file