Re: Bootstrap deleted DOC-nnn file

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Date: Mon, 13 May 2013 21:56:57 -0400
> Cc: address@hidden, address@hidden, address@hidden
> 
> If there is a single DOC file, which we don't bother to remove

You probably mean "which we recreate every time", because etc/DOC is
removed as part of a bootstrap (and even when DOC is rebuilt because
it's outdated).  Right?