Make gtk-doc truly optional (and off by default)