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