Merge branch 'feature/doxygen-enable-searchengine' into 'master'

Ansgar Burchardtrequested to merge
cherry-pick-1d9d81dc into releases/2.5

doxygen: enable SEARCHENGINE

See merge request !262 (merged)

Merge request reports