Re: missing fix-info-dir in dist tar balll; RFE: integrate fix-info-dir script into info binary

[Eli Zaretskii]

[Once again, please use Reply All to reply.]

> From: Tomasz Kłoczko <kloczko.tomasz@gmail.com>
> Date: Sat, 10 Dec 2022 11:06:29 +0000
> 
> On Sat, 10 Dec 2022 at 11:02, Eli Zaretskii <eliz@gnu.org> 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.