[Top][All Lists]

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]