let search_regexp doc_modules =
match GToolbox.input_string Cam_messages.search_regexp "" with
None ->
()
| Some s ->
match Odoc_info.Search.search_by_name
!doc_modules (Str.regexp s)
with
[] ->
GToolbox.message_box Cam_messages.search_regexp
(Cam_messages.nothing_found s)
| [ele] ->
display_result_element doc_modules ele
| l ->
display_result_list doc_modules l