[PATCH] configure: add --without-docs switch
[notmuch-archives.git] / 0b / 94b422b84d45cdc64bb4f3c715ce68ddb2d156
2014-11-07 Thomas SchwingeRe: bug tracking