Hi, What’s the right way to install Bash headers so that third-party builtins can be built (as loadable shared objects)?
I didn’t see any mention of it in INSTALL nor in the manual, and there doesn’t seem to be a makefile rule to install them. Thanks, Ludo’.
