[Please use Reply All to keep the other people and the list on the CC.] > From: Tomasz Kłoczko <[email protected]> > Date: Sat, 10 Dec 2022 09:04:05 +0000 > > On Sat, 10 Dec 2022 at 07:43, Eli Zaretskii <[email protected]> wrote: > [..] > > Why not use install-info for that? It can do these tasks, AFAICT. > > 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.
