[Help-bash] Help with GNU Bash source understanding

[Jason Mielke]

The first line of builtins/mkbuiltins.c gives the comment:

/* mkbuiltins.c - Create builtins.c, builtext.h, and builtdoc.c from
a single source file called builtins.def. */

Where is builtins.def?

Thanks!

JHM

[Pierre Gaston]

Post by Jason Mielke
/* mkbuiltins.c - Create builtins.c, builtext.h, and builtdoc.c from
a single source file called builtins.def. */
Where is builtins.def?
Thanks!
JHM
I think that here you must understand "builtins" as a generic term for all

the builtins of bash so it generates the corresponding code from all the
.def files in the builtins directory