Re: builtin man page for wait omits information from SIGNALS

[Greg Wooledge]

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.