[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: missing fix-info-dir in dist tar balll; RFE: integrate fix-info-dir
From: |
Eli Zaretskii |
Subject: |
Re: missing fix-info-dir in dist tar balll; RFE: integrate fix-info-dir script into info binary |
Date: |
Sat, 10 Dec 2022 16:11:59 +0200 |
[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.
Re: missing fix-info-dir in dist tar balll; RFE: integrate fix-info-dir script into info binary, Eli Zaretskii, 2022/12/10