[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#18305: lack of central info dir file
From: |
Ludovic Courtès |
Subject: |
bug#18305: lack of central info dir file |
Date: |
Sat, 23 Aug 2014 19:22:08 +0200 |
User-agent: |
Gnus/5.130011 (Ma Gnus v0.11) Emacs/24.3 (gnu/linux) |
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’.