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