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.
