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

[Tomi Ollila]

On Tue, Aug 09 2016, David Bremner <david at tethera.net> wrote:

> mp39590 at gmail.com writes:
>
>> From: Mikhail <mp39590 at gmail.com>
>>
>> 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?

I do understand. api docs are for developers, other docs additionally
for rest of the end users

Also, in some of my systems building api docs prints out quite a bit of
noise (old doxygen) and the output is just pile of crap (fortunately i
don't install notmuch in any of my systems where I use it... ok I do it
in one, but into a tree inside my home dir...)

>> ---
>>  configure | 14 ++++++++++++--
>>  1 file changed, 12 insertions(+), 2 deletions(-)
>>
>> diff --git a/configure b/configure
>> index ae0a027..a6b6ee8 100755
>> --- a/configure
>> +++ b/configure
>> @@ -68,6 +68,7 @@ PYTHON=${PYTHON:-}
>>  PREFIX=/usr/local
>>  LIBDIR=
>>  WITH_DOCS=1
>> +WITH_API_DOCS=1
>>  WITH_EMACS=1
>>  WITH_BASH=1
>>  WITH_RUBY=1
>> @@ -137,7 +138,8 @@ Some features can be disabled (--with-feature=no is equivalent to
>>  --without-feature) :
>>  
>>  	--without-bash-completion	Do not install bash completions files
>> -	--without-docs			Do not install documentation and man pages
>> +	--without-docs			Do not install man pages
>
> I would say that --without-docs should imply --without-api-docs

on that I agree :)

Tomi

>
> I'm not totally convinced about the change in the description, but I
> guess we can always change it back if / when we start install other
> kinds of docs (e.g. html docs or info pages).