bash(1) says /etc/bash.bash.logout, should be bash_logout

[dkg]

Configuration Information [Automatically generated, do not change]:
Machine: x86_64
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS:  -DPROGRAM='bash' -DCONF_HOSTTYPE='x86_64' 
-DCONF_OSTYPE='linux-gnu' -DCONF_MACHTYPE='x86_64-pc-linux-gnu' 
-DCONF_VENDOR='pc' -DLOCALEDIR='/usr/share/locale' -DPACKAGE='bash' -DSHELL 
-DHAVE_CONFIG_H   -I.  -I../. -I.././include -I.././lib  -Wdate-time 
-D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector-strong -Wformat 
-Werror=format-security -Wall
uname output: Linux alice 4.7.0-rc7-amd64 #1 SMP Debian 4.7~rc7-1~exp1 
(2016-07-14) x86_64 GNU/Linux
Machine Type: x86_64-pc-linux-gnu

Bash Version: 4.3
Patch Level: 46
Release Status: release

Description:

I think the documentation is wrong about the systemwide filename that
bash reads when a login shell exits.  the manpage says
"/etc/bash.bash.logout", but the binary appears to be built with
"/etc/bash.bash_logout" (note the change from "." to "_").

0 dkg@alice:~$ man bash 2>/dev/null | grep -A2 /etc/bash.bash.logout
       /etc/bash.bash.logout
              The  systemwide  login shell cleanup file, executed when a login
              shell exits
0 dkg@alice:~$ strings $(which bash) | grep /etc/bash.bash.logout
/etc/bash.bash_logout
0 dkg@alice:~$ 

This should probably be fixed by fixing whatever generates the bash
manpage.

Regards,

        --dkg