[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 13:01:53 +0200 |
[Please use Reply All to keep the other people and the list on the CC.]
> From: Tomasz Kłoczko <kloczko.tomasz@gmail.com>
> Date: Sat, 10 Dec 2022 09:04:05 +0000
>
> On Sat, 10 Dec 2022 at 07:43, Eli Zaretskii <eliz@gnu.org> 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.
Re: missing fix-info-dir in dist tar balll; RFE: integrate fix-info-dir script into info binary, Eli Zaretskii, 2022/12/10