Rob Evans <rhe@internetplumber.org.uk> writes:
> Those are the only files I've noticed so far, perhaps there's a
> manifest file somewhere that needs tweaking?

Look in src/distrib/sets for information on the file lists/manifests
you are looking for. There is also a script in there to automate
checking the manifest against the DESTDIR.

Perry