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

> 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 pr

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

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: