DOC HOME
SITE MAP
MAN PAGES
GNU INFO
SEARCH
isatty
'isatty' not found in section 3, but available here:
/usr/man2/html.S/ttyname.S.html