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
