On Tue, Aug 09 2016, David Bremner <david@tethera.net> wrote: > mp39590@gmail.com writes: > >> From: Mikhail <mp39590@gmail.com> >> >> 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).