Re: Bootstrap deleted DOC-nnn file

[Eli Zaretskii]

> Date: Sat, 11 May 2013 08:10:46 -0400
> From: Richard Stallman <address@hidden>
> CC: address@hidden, address@hidden
> 
> It is true that Lisp files are out of sync after the recompile.
> However, in practice just reloading the Lisp file that has the problem
> usually works.
> 
> I see two reasons why it is useful to run the old executables.
> 
> * When it is convenient to keep running an existing Emacs job
> for a while.
> 
> * To compare behavior, if a new bug has appeared.
> 
> I don't suggest doing a lot of work to support these things perfectly,
> but they are more important than the minor cleanliness of
> deleting some files merely because they are probably not useful.

Perhaps a running Emacs could create a kind of "lock file" for DOC it
uses (maybe even using the same machinery we already have in
filelock.c), and then "make bootstrap" could refrain from deleting a
DOC file thus "locked".