From e55c86698c044e4e05fc73b89403097d598f6378 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ku=CC=88rs=CC=A7at=20Aktas=CC=A7?= Date: Tue, 12 Nov 2024 20:35:32 +0300 Subject: [PATCH] guru widget introduced --- docs/.gitignore | 1 - docs/_static/js/guru_widget.js | 9 +++++++++ docs/conf.py | 4 ++++ 3 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 docs/_static/js/guru_widget.js diff --git a/docs/.gitignore b/docs/.gitignore index 04bc145de..e69de29bb 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1 +0,0 @@ -_* diff --git a/docs/_static/js/guru_widget.js b/docs/_static/js/guru_widget.js new file mode 100644 index 000000000..289d34857 --- /dev/null +++ b/docs/_static/js/guru_widget.js @@ -0,0 +1,9 @@ +document.write(` + +`); \ No newline at end of file diff --git a/docs/conf.py b/docs/conf.py index 9fff96673..f8b6394e6 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -162,6 +162,10 @@ 'css/default.css', ] +html_js_files = [ + 'js/guru_widget.js', +] + # Add any extra paths that contain custom files (such as robots.txt or # .htaccess) here, relative to this directory. These files are copied # directly to the root of the documentation.