connect_menu_item main#contentsMenuItem (fun () ->
let cmd =
sprintf "gnome-help ghelp://%s/C/matita.xml &" BuildTimeConf.help_dir
connect_menu_item main#contentsMenuItem (fun () ->
let cmd =
sprintf "gnome-help ghelp://%s/C/matita.xml &" BuildTimeConf.help_dir