let doc_flag = "Use this menu as doc menu"