On Sat, 10 Dec 2022 at 10:01, Gavin Smith <[email protected]> wrote: [..]
> > AFAIU, the script's effect is equivalent to deleting the existing DIR > > file and then running install-info on all the files in that directory > > to recreate DIR. Am I missing something? > > Yes, so putting this functionality inside the info program would require > it to open and process every single Info file on its path, which could > be slow. > Just in case .. I'm not suggesting to abandon using the index dir file and to rescan all info pages on info program start but to provide extra info executable functionality to regenerate only dir files. kloczek -- Tomasz Kłoczko | Tel: 0774 1209067 | LinkedIn: http://lnkd.in/FXPWxH
