Re: [PATCH] docs: Fix searching in the wiki
On Mon, Mar 13, 2023 at 01:22:25PM +0100, Peter Krempa wrote:
Conversion of the wiki to static pages means that the integrated
search
no longer functions. Use the same approach we have for other search to
simply defer to google.
Signed-off-by: Peter Krempa <pkrempa(a)redhat.com>
---
docs/js/main.js | 13 ++++---------
1 file changed, 4 insertions(+), 9 deletions(-)
Reviewed-by: Daniel P. Berrangé <berrange(a)redhat.com>
With regards,
Daniel
--
|: https://berrange.com -o- https://www.flickr.com/photos/dberrange :|
|: https://libvirt.org -o- https://fstop138.berrange.com :|
|: https://entangle-photo.org -o- https://www.instagram.com/dberrange :|