On 2 January 2016 at 21:50, Andreas Schwab <sch...@linux-m68k.org> wrote: > Gavin Smith <gavinsmith0...@gmail.com> writes: > >> I don't see why it's a problem. > > Anything that is installed but unused is bad.
What I'll try is deleting the files after they are installed using the install-exec-hook makefile target.