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

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

Date: Thu, 11 Aug 2016 22:02:30 +0900

To: mp39590@gmail.com, notmuch@notmuchmail.org

Cc: Tomi Ollila

From: David Bremner

mp39590@gmail.com writes:

> From: Mikhail <mp39590@gmail.com>
>
> 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.

pushed to master

Thread: