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