[Once again, please use Reply All to reply.] > From: Tomasz Kłoczko <[email protected]> > Date: Sat, 10 Dec 2022 11:06:29 +0000 > > On Sat, 10 Dec 2022 at 11:02, Eli Zaretskii <[email protected]> wrote: > > > install-info (de)register single file. > > It is completely different tool. > > It is not a different tool, it just does the job for a single file. > But running it in a shell's for-loop for each Info file in a directory > is trivial. > > We could also make install-info process several files, as an optional > feature. > > This was tested several times in the last +decade. > As some infor pages could be in split mode using that way caused duplicated > index entries.
Are you sure? AFAIK, install-info doesn't insert an entry if there's already one in DIR.
