[PATCH] docs: Fix searching in the wiki

[Daniel P. Berrangé]

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 at redhat.com>
> ---
>  docs/js/main.js | 13 ++++---------
>  1 file changed, 4 insertions(+), 9 deletions(-)

Reviewed-by: Daniel P. Berrangé <berrange at 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 :|