Re: [PATCH] configure: add --without-api-docs option