This is now fixed. Feedback welcome! Specifically, ‘profile-derivation’ has support to build the profile’s ‘dir’ file by running ‘install-info’.
For the record, I initially wanted to come up with a more generic design for things that need to be done at profile build time. I haven’t come up with such a design, but Info was going to be the main consumer anyway, so I’m happy with the simpler approach. Thanks, Ludo’.
