[PATCH] configure: add --without-docs switch
[notmuch-archives.git] / 0b / a1639c5712b02e32dbf8c59b3207fbf99c498d
2014-11-07 Florian FriesdorfRe: [PATCH] create and set temporary home directory