From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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).