6eacad12b3
The release tarball ships pre-built gtk-doc HTML files that get installed unconditionally despite --disable-gtk-doc being set in CONFIGURE_ARGS. Patch Makefile.in to remove the docs directory from SUBDIRS as API documentation takes unnecessary disk space on end user systems.