Manual: `select' builtin command not present in "Index of Shell Builtin Commands"

[Christophe Jarry]

Dear developers,

Today, I read
http://www.gnu.org/software/bash/manual/html_node/Bash-Variables.html#index-COLUMNS-179
and discovered that `select' builtin command was not present in
http://www.gnu.org/software/bash/manual/html_node/Builtin-Index.html#Builtin-Index
although it was present in
http://www.gnu.org/software/bash/manual/html_node/Conditional-Constructs.html#Conditional-Constructs.

Please add `select' builtin command to
http://www.gnu.org/software/bash/manual/html_node/Builtin-Index.html#Builtin-Index.

Thanks,

Christophe