From: David Bremner Date: Thu, 30 Jul 2015 06:08:31 +0000 (+0200) Subject: configure: support --with-docs=no X-Git-Tag: 0.21_rc0~79 X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=commitdiff_plain;h=a57b3d43033103a1efda78ab2e5f273c217a1834;hp=a57b3d43033103a1efda78ab2e5f273c217a1834 configure: support --with-docs=no Since we promise --with-foo=no is equivalent to --without-foo ---