Re: builtin man page for wait omits information from SIGNALS

[Greg Wooledge]

On Wed, Jun 15, 2022 at 03:32:02PM -0400, Greg Wooledge wrote:
> On Wed, Jun 15, 2022 at 12:14:22PM -0700, AA via Bug reports for the GNU 
> Bourne Again SHell wrote:
> > Greg:  I included a link to the github. There are only 3 PRs, one of which
> > is mine. That's why I was suspicious it's the wrong place.
> > 
> > Here is a link to the actual patch:
> > https://github.com/gitGNU/gnu_bash/pull/5/files
> 
> You're patching doc/builtins.0 which is a file that's built from
> doc/builtins.1.  A correct patch would need to change doc/builtins.1
> instead, since that's the actual source file.
> 
> Also, I'm going to send an addition to Debian's bug #807090 which is
> already open.  See <http://bugs.debian.org/807090> but it's very short,
> and is asking for the old bash-builtins(7) man page to be removed.  I'd
> rather see it updated to the current codebase.  I have no idea why
> Debian is still shipping bash 5.1 with a man page from bash 2.05a.

Or... not.  Now I'm even more confused than when I started.

unicorn:/var/tmp/bash/bash-5.1/doc$ ls -l builtins.[01]
-rw-r--r-- 1 greg greg 143241 Nov 18  2020 builtins.0
-rw-r--r-- 1 greg greg    873 Mar 15  2018 builtins.1

That builtins.1 file clearly does not contain the ROFF source code for
the content of builtins.0.  Which makes me wonder where, exactly, the
content of builtins.0 came from.

builtins.1 also contains this line, which I do not understand:

.TH BASH_BUILTINS 1 "2004 Apr 20" "GNU Bash 5.0"

The version number and the date stamp do not match each other at all.