Debian Bug report logs - #807090
remove ancient bash-builtins man page

version graph

Package: bash; Maintainer for bash is Matthias Klose <doko@debian.org>; Source for bash is src:bash (PTS, buildd, popcon).

Reported by: 積丹尼 Dan Jacobson <jidanni@jidanni.org>

Date: Sat, 5 Dec 2015 10:03:02 UTC

Severity: wishlist

Found in version bash/4.3-14

Reply or subscribe to this bug.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to debian-bugs-dist@lists.debian.org, Matthias Klose <doko@debian.org>:
Bug#807090; Package bash. (Sat, 05 Dec 2015 10:03:06 GMT) (full text, mbox, link).

Acknowledgement sent to 積丹尼 Dan Jacobson <jidanni@jidanni.org>:
New Bug report received and forwarded. Copy sent to Matthias Klose <doko@debian.org>. (Sat, 05 Dec 2015 10:03:06 GMT) (full text, mbox, link).

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: 積丹尼 Dan Jacobson <jidanni@jidanni.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: remove ancient bash-builtins man page
Date: Sat, 05 Dec 2015 17:57:21 +0800
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.

Send a report that this bug log contains spam.

Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Wed Dec 6 08:34:27 2023; Machine Name: bembo

Debian Bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.