[PATCH] configure: add --without-api-docs option
[notmuch-archives.git] / 2b / d805b2ffd85a707c356deb3ec51476b0784d41
2016-08-20 David BremnerRe: [PATCH] doc: add minimal note about shared options.