DOC HOME
SITE MAP
MAN PAGES
GNU INFO
SEARCH
set_menu_opts
'set_menu_opts' not found in section S-osr5, but available here:
/usr/man2/html.S/menu_opts.S.html