configure: add --without-api-docs option
authorMikhail <mp39590@gmail.com>
Wed, 10 Aug 2016 13:02:35 +0000 (16:02 +0300)
committerDavid Bremner <david@tethera.net>
Thu, 11 Aug 2016 11:13:46 +0000 (20:13 +0900)
commit188fccd84fc53f44f38a4b184383d63f2c58b5e3
tree40e83391c5d8ab1d0d8ea09b7370395cc7ecd894
parent999d473299781cb2a38fba5d9e2452504799a7a2
configure: add --without-api-docs option

Add option to explicitly disable API man page build even if doxygen
binary is available. --without-docs also implies not building API
manpage.

This change intended to add more distinctness into build system and
allow user not to build unwanted man pages.
configure