From 848ca4b7887a0718d9d23375ae44cf5708d3dbab Mon Sep 17 00:00:00 2001 From: David Bremner Date: Tue, 9 Aug 2016 23:05:20 +0900 Subject: [PATCH] Re: [PATCH] configure: add --without-api-docs option --- 86/1df8f61f9961eb899a81d08efeaa57081bb0bf | 87 +++++++++++++++++++++++ 1 file changed, 87 insertions(+) create mode 100644 86/1df8f61f9961eb899a81d08efeaa57081bb0bf diff --git a/86/1df8f61f9961eb899a81d08efeaa57081bb0bf b/86/1df8f61f9961eb899a81d08efeaa57081bb0bf new file mode 100644 index 000000000..853d22b14 --- /dev/null +++ b/86/1df8f61f9961eb899a81d08efeaa57081bb0bf @@ -0,0 +1,87 @@ +Return-Path: +X-Original-To: notmuch@notmuchmail.org +Delivered-To: notmuch@notmuchmail.org +Received: from localhost (localhost [127.0.0.1]) + by arlo.cworth.org (Postfix) with ESMTP id 1028F6DE01C2 + for ; 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 ; + 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 ; Tue, 9 Aug 2016 07:05:28 -0700 (PDT) +Received: from remotemail by fethera.tethera.net with local (Exim 4.84_2) + (envelope-from ) + 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 +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." + +List-Unsubscribe: , + +List-Archive: +List-Post: +List-Help: +List-Subscribe: , + +X-List-Received-Date: Tue, 09 Aug 2016 14:05:36 -0000 + +mp39590@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 ++++++++++++-- +> 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). -- 2.26.2