On 2008-05-22 17:20 +0200, Norbert Preining wrote: > On Do, 22 Mai 2008, Raphael Hertzog wrote: >> Also the trigger script has to find out alone which files is >> new/updated/removed. So it requires a bit of work. > > Well, the idea was that the dir file is recreated every time. That would > not need any special thing.
Won't this be a bit slow, if all the files under /usr/share/info have to be parsed on every install-info run? Also, some people (including myself) may have local info files which are installed with install-info. Are these entries going to be dropped silently? Sven -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
