Re: auto-update of Info dir file?

[Eli Zaretskii]

> 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.