# mptcpd binary is installed in /usr/libexec because it is started by systemd
# but still, the binary exists, just not at the common place.
mptcpd: spare-manual-page usr/share/man/man8/mptcpd.8.gz
# according to the Debian Policy Manual section 9.3, it is optional to provide
# an init.d script if there is already a systemd one.
mptcpd: package-supports-alternative-init-but-no-init.d-script lib/systemd/system/mptcp.service
