From: Tomi Ollila Date: Tue, 9 Aug 2016 14:59:38 +0000 (+0300) Subject: Re: [PATCH] configure: add --without-api-docs option X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=7e698931a6bd453c82640093dddd46367a66dfb4;p=notmuch-archives.git Re: [PATCH] configure: add --without-api-docs option --- diff --git a/06/d54e4ea9023e92e269171f31f989f7a7b73dd6 b/06/d54e4ea9023e92e269171f31f989f7a7b73dd6 new file mode 100644 index 000000000..7969a9477 --- /dev/null +++ b/06/d54e4ea9023e92e269171f31f989f7a7b73dd6 @@ -0,0 +1,105 @@ +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 E10D66DE02AD + for ; Tue, 9 Aug 2016 08:00:19 -0700 (PDT) +X-Virus-Scanned: Debian amavisd-new at cworth.org +X-Spam-Flag: NO +X-Spam-Score: 0.564 +X-Spam-Level: +X-Spam-Status: No, score=0.564 tagged_above=-999 required=5 tests=[AWL=-0.088, + SPF_NEUTRAL=0.652] 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 6fj1GpBHox58 for ; + Tue, 9 Aug 2016 08:00:11 -0700 (PDT) +Received: from guru.guru-group.fi (guru.guru-group.fi [46.183.73.34]) + by arlo.cworth.org (Postfix) with ESMTP id 51C6D6DE01CE + for ; Tue, 9 Aug 2016 08:00:04 -0700 (PDT) +Received: from guru.guru-group.fi (localhost [IPv6:::1]) + by guru.guru-group.fi (Postfix) with ESMTP id 2D22F10007F; + Tue, 9 Aug 2016 17:59:39 +0300 (EEST) +From: Tomi Ollila +To: David Bremner , mp39590@gmail.com, + notmuch@notmuchmail.org +Subject: Re: [PATCH] configure: add --without-api-docs option +In-Reply-To: <87popijavz.fsf@maritornes.cs.unb.ca> +References: <20160809105246.70959-1-mp39590@gmail.com> + <87popijavz.fsf@maritornes.cs.unb.ca> +User-Agent: Notmuch/0.22+56~ge2391a7 (https://notmuchmail.org) Emacs/24.5.1 + (x86_64-unknown-linux-gnu) +X-Face: HhBM'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 15:00:20 -0000 + +On Tue, Aug 09 2016, David Bremner wrote: + +> 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? + +I do understand. api docs are for developers, other docs additionally +for rest of the end users + +Also, in some of my systems building api docs prints out quite a bit of +noise (old doxygen) and the output is just pile of crap (fortunately i +don't install notmuch in any of my systems where I use it... ok I do it +in one, but into a tree inside my home dir...) + +>> --- +>> 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 + +on that I agree :) + +Tomi + +> +> 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).