No entry for yacc in section 1 of the manual