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

diff --git a/06/d54e4ea9023e92e269171f31f989f7a7b73dd6 b/06/d54e4ea9023e92e269171f31f989f7a7b73dd6
new file mode 100644 (file)
index 0000000..7969a94
--- /dev/null
+++ b/06/d54e4ea9023e92e269171f31f989f7a7b73dd6
@@ -0,0 +1,105 @@
+Return-Path: <tomi.ollila@iki.fi>\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 E10D66DE02AD\r
+ for <notmuch@notmuchmail.org>; Tue,  9 Aug 2016 08:00:19 -0700 (PDT)\r
+X-Virus-Scanned: Debian amavisd-new at cworth.org\r
+X-Spam-Flag: NO\r
+X-Spam-Score: 0.564\r
+X-Spam-Level: \r
+X-Spam-Status: No, score=0.564 tagged_above=-999 required=5 tests=[AWL=-0.088,\r
+  SPF_NEUTRAL=0.652] 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 6fj1GpBHox58 for <notmuch@notmuchmail.org>;\r
+ Tue,  9 Aug 2016 08:00:11 -0700 (PDT)\r
+Received: from guru.guru-group.fi (guru.guru-group.fi [46.183.73.34])\r
+ by arlo.cworth.org (Postfix) with ESMTP id 51C6D6DE01CE\r
+ for <notmuch@notmuchmail.org>; Tue,  9 Aug 2016 08:00:04 -0700 (PDT)\r
+Received: from guru.guru-group.fi (localhost [IPv6:::1])\r
+ by guru.guru-group.fi (Postfix) with ESMTP id 2D22F10007F;\r
+ Tue,  9 Aug 2016 17:59:39 +0300 (EEST)\r
+From: Tomi Ollila <tomi.ollila@iki.fi>\r
+To: David Bremner <david@tethera.net>, mp39590@gmail.com,\r
+ notmuch@notmuchmail.org\r
+Subject: Re: [PATCH] configure: add --without-api-docs option\r
+In-Reply-To: <87popijavz.fsf@maritornes.cs.unb.ca>\r
+References: <20160809105246.70959-1-mp39590@gmail.com>\r
+ <87popijavz.fsf@maritornes.cs.unb.ca>\r
+User-Agent: Notmuch/0.22+56~ge2391a7 (https://notmuchmail.org) Emacs/24.5.1\r
+ (x86_64-unknown-linux-gnu)\r
+X-Face: HhBM'cA~<r"^Xv\KRN0P{vn'Y"Kd;zg_y3S[4)KSN~s?O\"QPoL\r
+ $[Xv_BD:i/F$WiEWax}R(MPS`^UaptOGD`*/=@\1lKoVa9tnrg0TW?"r7aRtgk[F\r
+ !)g;OY^,BjTbr)Np:%c_o'jj,Z\r
+Date: Tue, 09 Aug 2016 17:59:38 +0300\r
+Message-ID: <m2poping2t.fsf@guru.guru-group.fi>\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 15:00:20 -0000\r
+\r
+On Tue, Aug 09 2016, David Bremner <david@tethera.net> wrote:\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
+I do understand. api docs are for developers, other docs additionally\r
+for rest of the end users\r
+\r
+Also, in some of my systems building api docs prints out quite a bit of\r
+noise (old doxygen) and the output is just pile of crap (fortunately i\r
+don't install notmuch in any of my systems where I use it... ok I do it\r
+in one, but into a tree inside my home dir...)\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
+on that I agree :)\r
+\r
+Tomi\r
+\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