Re: No rule to make target `../lib/ignore-value.h'

[Eli Zaretskii]

> From: Glenn Morris <address@hidden>
> Cc: address@hidden,  address@hidden,  address@hidden
> Date: Tue, 09 Jul 2013 13:21:13 -0400
> 
> Eli Zaretskii wrote:
> 
> > How do you discourage volunteers from scratching their itches?
> 
> Well, removing those files would surely do it.

It's as easy to restore a removed file as it is to remove it.  One can
even do that and keep the original file ID, so the history is intact.