From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <david@tethera.net>
Received: from localhost (localhost [127.0.0.1])
 by arlo.cworth.org (Postfix) with ESMTP id 1028F6DE01C2
 for <notmuch@notmuchmail.org>; Tue,  9 Aug 2016 07:05:36 -0700 (PDT)
X-Virus-Scanned: Debian amavisd-new at cworth.org
X-Spam-Flag: NO
X-Spam-Score: -0.008
X-Spam-Level: 
X-Spam-Status: No, score=-0.008 tagged_above=-999 required=5 tests=[AWL=0.003, 
 SPF_PASS=-0.001, T_RP_MATCHES_RCVD=-0.01] autolearn=disabled
Received: from arlo.cworth.org ([127.0.0.1])
 by localhost (arlo.cworth.org [127.0.0.1]) (amavisd-new, port 10024)
 with ESMTP id MP-dlz5o-akB for <notmuch@notmuchmail.org>;
 Tue,  9 Aug 2016 07:05:28 -0700 (PDT)
Received: from fethera.tethera.net (fethera.tethera.net [198.245.60.197])
 by arlo.cworth.org (Postfix) with ESMTPS id 30D476DE015B
 for <notmuch@notmuchmail.org>; Tue,  9 Aug 2016 07:05:28 -0700 (PDT)
Received: from remotemail by fethera.tethera.net with local (Exim 4.84_2)
 (envelope-from <david@tethera.net>)
 id 1bX7f0-0008SC-NY; Tue, 09 Aug 2016 10:05:38 -0400
Received: (nullmailer pid 31829 invoked by uid 1000);
 Tue, 09 Aug 2016 14:05:20 -0000
From: David Bremner <david@tethera.net>
To: mp39590@gmail.com, notmuch@notmuchmail.org
Subject: Re: [PATCH] configure: add --without-api-docs option
In-Reply-To: <20160809105246.70959-1-mp39590@gmail.com>
References: <20160809105246.70959-1-mp39590@gmail.com>
User-Agent: Notmuch/0.22.1+61~g2ce0f13 (https://notmuchmail.org) Emacs/24.5.1
 (x86_64-pc-linux-gnu)
Date: Tue, 09 Aug 2016 23:05:20 +0900
Message-ID: <87popijavz.fsf@maritornes.cs.unb.ca>
MIME-Version: 1.0
Content-Type: text/plain
X-BeenThere: notmuch@notmuchmail.org
X-Mailman-Version: 2.1.20
Precedence: list
List-Id: "Use and development of the notmuch mail system."
 <notmuch.notmuchmail.org>
List-Unsubscribe: <https://notmuchmail.org/mailman/options/notmuch>,
 <mailto:notmuch-request@notmuchmail.org?subject=unsubscribe>
List-Archive: <http://notmuchmail.org/pipermail/notmuch/>
List-Post: <mailto:notmuch@notmuchmail.org>
List-Help: <mailto:notmuch-request@notmuchmail.org?subject=help>
List-Subscribe: <https://notmuchmail.org/mailman/listinfo/notmuch>,
 <mailto:notmuch-request@notmuchmail.org?subject=subscribe>
X-List-Received-Date: Tue, 09 Aug 2016 14:05:36 -0000

mp39590@gmail.com writes:

> From: Mikhail <mp39590@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?

> ---
>  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

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).