let
doc_flag =
"Use this menu as doc menu"