[PATCH] configure: add --without-api-docs option
[notmuch-archives.git] / b6 / 4e83be5d73c3dc92a72938acb4fb35e6a1ccd3
2014-11-07 Patrick TotzkeRe: gui release