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

diff --git a/86/1df8f61f9961eb899a81d08efeaa57081bb0bf b/86/1df8f61f9961eb899a81d08efeaa57081bb0bf
new file mode 100644 (file)
index 0000000..853d22b
--- /dev/null
+++ b/86/1df8f61f9961eb899a81d08efeaa57081bb0bf
@@ -0,0 +1,87 @@
+Return-Path: <david@tethera.net>\r
+X-Original-To: notmuch@notmuchmail.org\r
+Delivered-To: notmuch@notmuchmail.org\r
+Received: from localhost (localhost [127.0.0.1])\r
+ by arlo.cworth.org (Postfix) with ESMTP id 1028F6DE01C2\r
+ for <notmuch@notmuchmail.org>; Tue,  9 Aug 2016 07:05:36 -0700 (PDT)\r
+X-Virus-Scanned: Debian amavisd-new at cworth.org\r
+X-Spam-Flag: NO\r
+X-Spam-Score: -0.008\r
+X-Spam-Level: \r
+X-Spam-Status: No, score=-0.008 tagged_above=-999 required=5 tests=[AWL=0.003,\r
+  SPF_PASS=-0.001, T_RP_MATCHES_RCVD=-0.01] autolearn=disabled\r
+Received: from arlo.cworth.org ([127.0.0.1])\r
+ by localhost (arlo.cworth.org [127.0.0.1]) (amavisd-new, port 10024)\r
+ with ESMTP id MP-dlz5o-akB for <notmuch@notmuchmail.org>;\r
+ Tue,  9 Aug 2016 07:05:28 -0700 (PDT)\r
+Received: from fethera.tethera.net (fethera.tethera.net [198.245.60.197])\r
+ by arlo.cworth.org (Postfix) with ESMTPS id 30D476DE015B\r
+ for <notmuch@notmuchmail.org>; Tue,  9 Aug 2016 07:05:28 -0700 (PDT)\r
+Received: from remotemail by fethera.tethera.net with local (Exim 4.84_2)\r
+ (envelope-from <david@tethera.net>)\r
+ id 1bX7f0-0008SC-NY; Tue, 09 Aug 2016 10:05:38 -0400\r
+Received: (nullmailer pid 31829 invoked by uid 1000);\r
+ Tue, 09 Aug 2016 14:05:20 -0000\r
+From: David Bremner <david@tethera.net>\r
+To: mp39590@gmail.com, notmuch@notmuchmail.org\r
+Subject: Re: [PATCH] configure: add --without-api-docs option\r
+In-Reply-To: <20160809105246.70959-1-mp39590@gmail.com>\r
+References: <20160809105246.70959-1-mp39590@gmail.com>\r
+User-Agent: Notmuch/0.22.1+61~g2ce0f13 (https://notmuchmail.org) Emacs/24.5.1\r
+ (x86_64-pc-linux-gnu)\r
+Date: Tue, 09 Aug 2016 23:05:20 +0900\r
+Message-ID: <87popijavz.fsf@maritornes.cs.unb.ca>\r
+MIME-Version: 1.0\r
+Content-Type: text/plain\r
+X-BeenThere: notmuch@notmuchmail.org\r
+X-Mailman-Version: 2.1.20\r
+Precedence: list\r
+List-Id: "Use and development of the notmuch mail system."\r
+ <notmuch.notmuchmail.org>\r
+List-Unsubscribe: <https://notmuchmail.org/mailman/options/notmuch>,\r
+ <mailto:notmuch-request@notmuchmail.org?subject=unsubscribe>\r
+List-Archive: <http://notmuchmail.org/pipermail/notmuch/>\r
+List-Post: <mailto:notmuch@notmuchmail.org>\r
+List-Help: <mailto:notmuch-request@notmuchmail.org?subject=help>\r
+List-Subscribe: <https://notmuchmail.org/mailman/listinfo/notmuch>,\r
+ <mailto:notmuch-request@notmuchmail.org?subject=subscribe>\r
+X-List-Received-Date: Tue, 09 Aug 2016 14:05:36 -0000\r
+\r
+mp39590@gmail.com writes:\r
+\r
+> From: Mikhail <mp39590@gmail.com>\r
+>\r
+> Add option to explicitly disable API man page build even if doxygen is\r
+> available.\r
+\r
+I'm not sure about the use case here. For some reason you want to\r
+install some of the man pages, but not all of them?\r
+\r
+> ---\r
+>  configure | 14 ++++++++++++--\r
+>  1 file changed, 12 insertions(+), 2 deletions(-)\r
+>\r
+> diff --git a/configure b/configure\r
+> index ae0a027..a6b6ee8 100755\r
+> --- a/configure\r
+> +++ b/configure\r
+> @@ -68,6 +68,7 @@ PYTHON=${PYTHON:-}\r
+>  PREFIX=/usr/local\r
+>  LIBDIR=\r
+>  WITH_DOCS=1\r
+> +WITH_API_DOCS=1\r
+>  WITH_EMACS=1\r
+>  WITH_BASH=1\r
+>  WITH_RUBY=1\r
+> @@ -137,7 +138,8 @@ Some features can be disabled (--with-feature=no is equivalent to\r
+>  --without-feature) :\r
+>  \r
+>      --without-bash-completion       Do not install bash completions files\r
+> -    --without-docs                  Do not install documentation and man pages\r
+> +    --without-docs                  Do not install man pages\r
+\r
+I would say that --without-docs should imply --without-api-docs\r
+\r
+I'm not totally convinced about the change in the description, but I\r
+guess we can always change it back if / when we start install other\r
+kinds of docs (e.g. html docs or info pages).\r