let add_doc_bookmark s =
  let l = Cam_misc.list_remove_doubles (doc_bookmarks#get @ [s]) in
  doc_bookmarks#set l;
  Cam_rc.save_gui ()