[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: auto-update of Info dir file?
From: |
Eli Zaretskii |
Subject: |
Re: auto-update of Info dir file? |
Date: |
Tue, 16 May 2006 20:39:37 +0300 |
> Cc: Eli Zaretskii <address@hidden>, Drew Adams <address@hidden>,
> address@hidden
> From: Miles Bader <address@hidden>
> Date: Tue, 16 May 2006 13:17:17 +0900
>
> I don't understand why Drew's suggestion would be slow anyway -- it's a
> simple syntactic check, which would only use the _names_ of the info
> files in the directory listing. It wouldn't even have to stat the info
> files, much less read or decompress them.
Really? We probably have two different implementations in mind. I
was thinking about finding in the file and adding to the top-level
menu the missing @direntry text in the right @dircategory, and for
that, you do have to read the file and decompress it.
- auto-update of Info dir file?, Drew Adams, 2006/05/15
- Re: auto-update of Info dir file?, Andreas Schwab, 2006/05/15
- Re: auto-update of Info dir file?, Eli Zaretskii, 2006/05/15
- Re: auto-update of Info dir file?, Eli Zaretskii, 2006/05/16
- RE: auto-update of Info dir file?, Drew Adams, 2006/05/16
- Re: auto-update of Info dir file?, Eli Zaretskii, 2006/05/16
- RE: auto-update of Info dir file?, Drew Adams, 2006/05/16
- Re: auto-update of Info dir file?, Eli Zaretskii, 2006/05/16
- Re: auto-update of Info dir file?, Richard Stallman, 2006/05/16
- Re: auto-update of Info dir file?, Stefan Monnier, 2006/05/16