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