doxygen creates a million files, and we don't want to do
automatic HTML conversion, etc. But we do want to install
the files. So exclude the doxygen files the various GNU make
magic that we do for transforming things. And instead just
rely on `cp` for installation.
Alan T. DeKok@2019-10-30T17:27:18Z