Re: Automatic updates for loaddefs-type files

[Glenn Morris]

Stefan Monnier wrote:

>> Though maybe the ldefs-boot part should only be run once a week? Month?
>> Otherwise it's going to update every time a file with an autoload gets
>> changed, which is probably going to be annoying.
>
> I was just going to complain about that, yes ;-)
> I think it's OK to update it "manually" when the need appears.
> After all, and old version is only a problem if it breaks bootstrap.

Well, at the moment I made the ldefs-boot bit once a month only.
No harm in keeping it reasonably up-to-date? But it's easily disabled
if you like, or if this turns out to be annoying.