[PATCH] configure: add --without-api-docs option
[notmuch-archives.git] / 3c / 566bcb50f18ac27e47beaef33b98e03ba29e0c
2014-11-07 David BremnerRe: [PATCH] gitignore: ignore sh.config and doc/config.dox