On 2 January 2016 at 21:50, Andreas Schwab <[email protected]> wrote: > Gavin Smith <[email protected]> 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.
