[PATCH] configure: add --without-api-docs option
[notmuch-archives.git] / df / 05a812b33b2a464b86e6877f5f0685e9b95cd6
2014-11-07 David Bremner[PATCH 1/2] doc: move doxgen config from devel/ to...