Re: auto-update of Info dir file?

[Stefan Monnier]

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

> Is it indeed guaranteed that the mtime of the directory is always
> _after_ the last file modified in that directory?

No.  POSIX only says that the mtime of the dir reflects the last time a file
was added/removed from the directory, which is pretty much exactly what we
need here.  Lucky for us: if updating the dir file would cause the dir's
mtime stamp to be changed would lead us to lalaland.


        Stefan