This reverts commit 47cbc929.

The section is no longer correct when the patch switching to gnulib's
make coverage was reverted.
Signed-off-by: NJiri Denemark <jdenemar@redhat.com>
Acked-By: NEric Blake <eblake@redhat.com>