doc: setup for symbol search.

7 years ago · a61ee59825
2 changed files with 5 additions and 2 deletions
--- 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}'
--- 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 = """