chiark / gitweb /
build-sys: silence gtk-doc check, remove gtk-doc options from configure and distcheck