Enable the search engine in the HTML output
Enable the search engine in the HTML output

Signed-off-by: mike-holmes <ed44c09f4d7f698f5510adc894a872c73e08c8bd@linaro.org>

kalray/odp-mppa,erachmi/odp,rsalveti/odp,mike-holmes-linaro/odp,erachmi/odp,dkrot/odp,robbieking64/odp-crypto,ravineet-singh/odp,kalray/odp-mppa,nmorey/odp,kalray/odp-mppa,kalray/odp-mppa,erachmi/odp,erachmi/odp,nmorey/odp,robbieking64/odp-crypto,ravineet-singh/odp,nmorey/odp,mike-holmes-linaro/odp,kalray/odp-mppa,ravineet-singh/odp,rsalveti/odp,kalray/odp-mppa,robbieking64/odp-crypto,dkrot/odp,mike-holmes-linaro/odp,dkrot/odp,dkrot/odp,kalray/odp-mppa,rsalveti/odp,robbieking64/odp-crypto,rsalveti/odp,mike-holmes-linaro/odp,rsalveti/odp,ravineet-singh/odp,nmorey/odp