The configure options to turn on coverage testing got renamed
at some point, but the docs were not updated. Fix that.
https://bugzilla.gnome.org//show_bug.cgi?id=735915
</formalpara>
<formalpara>
- <title><systemitem>--enable-gcov</systemitem> and
- <systemitem>--disable-gcov</systemitem></title>
+ <title><systemitem>--enable-coverage</systemitem> and
+ <systemitem>--disable-coverage</systemitem></title>
<para>
Enable the generation of coverage reports for the GLib tests.