let update_doc_menu load_doc =
  Cam_doc.update load_doc Cam_doc.default_doc_modules
    Cam_doc_gui.open_element
    Cam_doc_gui.search_exact
    Cam_doc_gui.search_regexp
    !doc_menu;
  Gc.compact ();
  match !Cam_doc_gui.modules_window with
    None -> ()
  | Some _ -> Cam_doc_gui.create_or_update_list_window Cam_doc.default_doc_modules