Re: Bootstrap deleted DOC-nnn file

[Stefan Monnier]

> It takes many hours to bootstrap, and even plain make takes a while.

Many hours sounds odd.  Bootstrapping takes a while on my low-power
machines as well, but even my home server (a Mele with Allwinner A10
processor) bootstraps in less than an hour and a half.

> I generally go for a few months between updates.

Then bootstrapping is probably the right choice, indeed, because just
"make" probably won't be much quicker, and this way you don't have to
worry about the case where "make" fails.


        Stefan