]> git.notmuchmail.org Git - notmuch/commitdiff
configure: support --with-docs=no
authorDavid Bremner <david@tethera.net>
Thu, 30 Jul 2015 06:08:31 +0000 (08:08 +0200)
committerDavid Bremner <david@tethera.net>
Thu, 30 Jul 2015 06:08:31 +0000 (08:08 +0200)
Since we promise --with-foo=no is equivalent to --without-foo


No differences found