DOC HOME SITE MAP MAN PAGES GNU INFO SEARCH
 

menu_opts_off

'menu_opts_off' not found in section S-osr5, but available here: