dead link

[Jonathan Hadida]

Hi there

There is a dead link in the online bash manual for shopt: 
http://www.gnu.org/software/bash/manual/html_node/The-Shopt-Builtin.html
[promptvars] "Controlling the Prompt" should point to 
http://www.gnu.org/software/bash/manual/bashref.html#Controlling-the-Prompt
It currently points to 
http://www.gnu.org/software/bash/manual/bashref.html#Controlling-the-Prompt, 
which yields a 404

Cheers, J