diff options
| author | Mikhail <mp39590@gmail.com> | 2016-08-10 16:02:35 +0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-08-11 20:13:46 +0900 |
| commit | 188fccd84fc53f44f38a4b184383d63f2c58b5e3 (patch) | |
| tree | 40e83391c5d8ab1d0d8ea09b7370395cc7ecd894 /bindings/python/MANIFEST.in | |
| parent | 999d473299781cb2a38fba5d9e2452504799a7a2 (diff) | |
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.
Diffstat (limited to 'bindings/python/MANIFEST.in')
0 files changed, 0 insertions, 0 deletions