From 7b4b76ccf96c25839dd778ea7d0792a55375a3a1 Mon Sep 17 00:00:00 2001
From: Yangshun Tay <tay.yang.shun@gmail.com>
Date: Thu, 5 Mar 2020 05:31:36 -0800
Subject: [PATCH] [infer][PR] [website] change Algolia search id

Summary:
Apologies! I tweaked the value but it was already imported into Phabricator and https://github.com/facebook/infer/issues/1231 was merged without the change.
Pull Request resolved: https://github.com/facebook/infer/pull/1232

Differential Revision: D20281501

Pulled By: jvillard

fbshipit-source-id: 1e657f2fa
---
 website/docusaurus.config.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/docusaurus.config.js b/website/docusaurus.config.js
index be635a983..ca5ac1147 100755
--- a/website/docusaurus.config.js
+++ b/website/docusaurus.config.js
@@ -17,7 +17,7 @@ module.exports = {
   themeConfig: {
     algolia: {
       apiKey: 'aac9e661e851db0d4b6e74802c3df9de',
-      indexName: 'infer',
+      indexName: 'fbinfer',
     },
     navbar: {
       title: 'Infer',