Re: Bootstrap deleted DOC-nnn file

[Eli Zaretskii]

> From: "Stephen J. Turnbull" <address@hidden>
> Cc: address@hidden,
>     address@hidden
> Date: Sat, 11 May 2013 02:01:56 +0900
> 
> Eli Zaretskii writes:
> 
>  > Not when bootstrap-clean is running, there isn't.
> 
>     src/emacs
> 
> then
> 
>     M-x shell RET
>     make bootstrap RET
> 
> should do the trick.  No?

Perhaps you should switch to Windows, then: it won't let you delete a
file that is in use.