Re: Bootstrap deleted DOC-nnn file

[Eli Zaretskii]

> Date: Wed, 15 May 2013 07:43:34 -0400
> From: Richard Stallman <address@hidden>
> CC: address@hidden, address@hidden, address@hidden,
>       address@hidden
> 
> The problems that make me bootstrap have to do with configuration.

That is extremely strange, since bootstrap doesn't do anything special
wrt anything but the *.elc files.  Can you tell why you thought the
problems were with configuration?

If the problems are really not with stale *.elc files, then
"make distclean ; make" should do the same as "make bootstrap",
AFAIR.