diff --git a/docs/.vuepress/config.js b/docs/.vuepress/config.js
index 51fc25fd5e..5b471de6bc 100644
--- a/docs/.vuepress/config.js
+++ b/docs/.vuepress/config.js
@@ -169,6 +169,8 @@ module.exports = {
     plugins: [
         '@vuepress/plugin-back-to-top',
         'vuepress-plugin-smooth-scroll',
+	'vuepress-plugin-fulltext-search',
+	['flexsearch'],
         ['vuepress-plugin-medium-zoom',
             {
                 selector: "img",