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)
commita57b3d43033103a1efda78ab2e5f273c217a1834
treee3767692405017d8765b3b4c1d259ccf05a55c67
parenta63b5db87340ce6f031b7a20f40754995ad95ce4
configure: support --with-docs=no

Since we promise --with-foo=no is equivalent to --without-foo
configure