GNU bug report logs - #18305
lack of central info dir file

Previous Next

Full log

Message #13 received at 18305-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Brandon Invergo <brandon <at> gnu.org>
Cc: 18305-done <at> debbugs.gnu.org
Subject: Re: bug#18305: lack of central info dir file
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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.