Install missing files in doc/html/search