fix online doc search (#4350) (#4358)

* fix online doc search * update html patching scripts --------- Co-authored-by: ZhangJianyu <zhang.jianyu@outlook.com> Co-authored-by: Jing Xu <jing.xu@intel.com>
intel · Jun 17, 2024 · 2e95731 · 2e95731
1 parent d60d451
commit 2e95731
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -40,6 +40,8 @@
     "recommonmark",
     "sphinx_markdown_tables",
     "sphinx_md",
+    "sphinx_rtd_theme",
+    "sphinxcontrib.jquery",
     "sphinxemoji.sphinxemoji",
     "breathe",
 ]

diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -2,6 +2,7 @@ wheel
 breathe
 sphinx
 sphinx_rtd_theme
+sphinxcontrib.jquery
 sphinx-markdown-tables
 sphinx_md
 sphinxemoji

diff --git a/scripts/build_doc.sh b/scripts/build_doc.sh
@@ -252,3 +252,12 @@ elif [[ ${DEVICE} == "gpu" ]]; then
     rm -rf xml
     mv tutorials/features/advanced_configuration.md.bk tutorials/features/advanced_configuration.md
 fi
+
+LN=$(grep "searchtools.js" -n _build/html/search.html | cut -d ":" -f 1)
+sed -i "${LN}i \ \ \ \ <script src=\"_static/js/theme.js\"></script>" _build/html/search.html
+sed -i "${LN}i \ \ \ \ <script src=\"_static/sphinx_highlight.js?v=dc90522c\"></script>" _build/html/search.html
+sed -i "${LN}i \ \ \ \ <script src=\"_static/doctools.js?v=9a2dae69\"></script>" _build/html/search.html
+sed -i "${LN}i \ \ \ \ <script src=\"_static/documentation_options.js?v=fc837d61\"></script>" _build/html/search.html
+sed -i "${LN}i \ \ \ \ <script src=\"_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c\"></script>" _build/html/search.html
+sed -i "${LN}i \ \ \ \ <script src=\"_static/jquery.js?v=5d32c60e\"></script>" _build/html/search.html
+sed -i "${LN}i \ \ \ \ <\!\-\-[if lt IE 9]><script src=\"_static/js/html5shiv.min.js\"></script><\![endif]\-\->" _build/html/search.html