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 = """