$info builtin
.
.
No menu item `builtin' in node `(dir)Top'
$man builtin
No manual entry for builtin
$builtin --help
bash: builtin: --: invalid option
builtin: usage: builtin [shell-builtin [arg ...]]
как просвещатся?
$man bash |grep builtin |wc
149 1692 12059
и ни одного перечисления что это .
