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

[Glenn Morris]

Eli Zaretskii wrote:

> I don't see any compelling reasons for such drastic measures, as long
> as these files don't draw any energy from us.

I was answering the general question, rather than saying what I think we
should do in this specific case.

> Let's see if someone gets motivated enough to take over them.

I think there are lots more important things people could spend their
time on, so I hope no-one bothers.
In the meantime, I expect we will just accrue more bug reports.