Re: [PATCH][PING²] PR external/{16327,16328}: Remove etc/configure.texi and etc/standards.texi

Joel Brobecker
2014-07-07T15:22:40Z

> It’s been a (minor) annoyance that both Binutils and GDB install those
> files, which were outdated moreover. Thus I think it’s better if 7.8
> can have that patch, but it’s not critical either.
>
> > I'd like us to only apply patches that really fix regressions or bad
> > issues. If you think this patch qualifies and explain why, then we
> > can give you the OK.
>
> The patch only removes a two documents and the associated makefile
> machinery from etc/. I think it’s safe.

I don't have a strong opinion, but because it's only minor and because
it touches a top-level Makefile (regardless of how simple the change
might be), I'd be inclined to keep it out. But if you and others think
otherwise, I am not objecting.

--
Joel