[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Bootstrap deleted DOC-nnn file

From: Eli Zaretskii
Subject: Re: Bootstrap deleted DOC-nnn file
Date: Tue, 14 May 2013 09:29:39 +0300

> 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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]