Re: [PATCH] configure: add --without-api-docs option

2016-08-11 Thread David Bremner
mp39...@gmail.com writes: > From: Mikhail > > 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

Re: [PATCH] configure: add --without-api-docs option

2016-08-11 Thread Tomi Ollila
On Wed, Aug 10 2016, mp39...@gmail.com wrote: > From: Mikhail > > Add option to explicitly disable API man page build even if doxygen > binary is available. --without-docs also implies not building API > manpage. This LGTM and worked fine on my manual ./configure command line

Re: [PATCH] configure: add --without-api-docs option

2016-08-09 Thread Tomi Ollila
On Tue, Aug 09 2016, David Bremner wrote: > mp39...@gmail.com writes: > >> From: Mikhail >> >> Add option to explicitly disable API man page build even if doxygen is >> available. > > I'm not sure about the use case here. For some reason you want to >

Re: [PATCH] configure: add --without-api-docs option

2016-08-09 Thread David Bremner
mp39...@gmail.com writes: > From: Mikhail > > Add option to explicitly disable API man page build even if doxygen is > available. I'm not sure about the use case here. For some reason you want to install some of the man pages, but not all of them? > --- > configure | 14