wsrep files installed when built without WSREP

When building with -DWITH_WSREP=OFF -DPLUGIN_WSREP_INFO=NO, I am still finding many wsrep-related files installed in the INSTALLDIR. Specifically:

usr/include/mysql/server/mysql/service_wsrep.h

usr/include/mysql/server/private/wsrep*.h

usr/share/mysql/wsrep_notify

usr/share/doc/README-wsrep

usr/share/man/man1/wsrep_sst_rsync_wan.1

usr/share/man/man1/wsrep_sst_mariabackup.1

usr/share/man/man1/wsrep_sst_mysqldump.1

usr/share/man/man1/wsrep_sst_rsync.1

usr/share/man/man1/wsrep_sst_common.1

Whether or not the includes files should be installed I don't know, and the SQL in wsrep_notify and the README-wsrep could also be argued. But, certainly the man pages should not be installed as the tools are not built or installed.

I would suggest that none of these should be installed, and that the build configurtion should turn them all off if -DWITH_WSREP=OFF.