Package: bash
Version: 4.3-14+b1
Severity: wishlist
File: /usr/share/man/man7/bash-builtins.7.gz

One notes there is this ancient
$ man bash-builtins|tail -n 1|tr -s ' '
GNU Bash-2.05a 2001 October 29 BASH-BUILTINS(7)
man page tagging along in the package.

Apparently all its content is now on 'man bash' anyway,
so either delete it or symlink it to the bash man page.

Reply via email to