bash manpage: wrong filename for bash_logout

[sven]

Configuration Information [Automatically generated, do not change]:
Machine: i486
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS:  -DPROGRAM='bash' -DCONF_HOSTTYPE='i486'
-DCONF_OSTYPE='linux-gnu' -DCONF_MACHTYPE='i486-pc-linux-gnu'
-DCONF_VENDOR='pc' -DLOCALEDIR='/usr/share/locale' -DPACKAGE='bash' -DSHELL
-DHAVE_CONFIG_H  -I.  -I../bash -I../bash/include -I../bash/lib   -g -O2
uname output: Linux hostname 2.6.12-9-386 #1 Mon Oct 10 13:14:36 BST 2005 i686
GNU/Linux
Machine Type: i486-pc-linux-gnu

Bash Version: 3.0
Patch Level: 16
Release Status: release

Description:
    I wanted to clear the screen every time a user logs out.
    (system-wide setting). "man bash" says in the "FILES" section
    that I can write a script "/etc/bash_logout" which in my case
    would consist of only the "clear" command.

    This does not work.

    Some website I found says that this file should be named
    "/etc/bash.bash_logout" instead. This works fine. So I think
    the mistake is rather in the manpage than in bash itself.

    Please correct the manpage. Some sysadmins can save a lot of
    time if they don't need to explore it themselves.

Repeat-By:
    run "man bash", search for "cleanup", scroll one line up.

Fix:
    Dunno how manpages are made, but I guess it's easy :-)


Yours sincerely,
Sven