sig
  val update_doc_menu : bool -> unit
  val update_menus : ?load_doc:bool -> GMenu.menu_shell -> unit
end