Fix missing documentation file when --enable-gtk-doc isn't passed along to configure.
Required a bit of mangling.