Subject: Re: bug#18305: lack of central info dir file

From: [email-masked] (Ludovic Courtès)
Date: Sat, 23 Aug 2014 19:22:08 +0200

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’.