Re: auto-update of Info dir file?

[Miles Bader]

Stefan Monnier <address@hidden> writes:
>> I think this will slow down Info startup to an intolerable degree.
>> For example, I have more than 70 such top-level Info files in my Info
>> directory, some of them compressed.
>
> It's probably OK if we only do the check when the mtime of the parent dir is
> more recent than the mtime of the dir file (and only under Unix, of course,
> since this presumes POSIXy semantics).

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.

-Miles
-- 
Any man who is a triangle, has thee right, when in Cartesian Space, to
have angles, which when summed, come to know more, nor no less, than
nine score degrees, should he so wish.  [TEMPLE OV THEE LEMUR]