From a61ee59825783eac237261229ac390ece0f345d1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Mon, 22 Jul 2019 20:19:00 +0200
Subject: [PATCH] doc: setup for symbol search.

---
 doc/python/conf-public.py | 4 ++++
 doc/python/conf.py        | 3 +--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/python/conf-public.py b/doc/python/conf-public.py
index dc09fe3..4e38b78 100644
--- a/doc/python/conf-public.py
+++ b/doc/python/conf-public.py
@@ -21,3 +21,7 @@ STYLESHEETS = [
 ]
 
 FAVICON = 'https://doc.magnum.graphics/favicon.ico'
+
+SEARCH_DOWNLOAD_BINARY = True
+SEARCH_BASE_URL = 'https://doc.magnum.graphics/python/'
+SEARCH_EXTERNAL_URL = 'https://google.com/search?q=site:doc.magnum.graphics+Magnum+Python+{query}'
diff --git a/doc/python/conf.py b/doc/python/conf.py
index 204be93..35429d8 100644
--- a/doc/python/conf.py
+++ b/doc/python/conf.py
@@ -103,8 +103,7 @@ PAGE_HEADER = """
     Welcome to the exciting new Python-flavored future of Magnum! Have fun, but
     please note this functionality is *heavily experimental* at the moment.
     Most APIs are missing, documentation is very sparse and everything is still
-    evolving. **Use at your own risk.** Search and name cross-linking is not
-    working yet, sorry about that.
+    evolving. **Use at your own risk.**
 """
 
 FINE_PRINT = """