Re: [PATCH] configure: add --without-docs switch

Subject: Re: [PATCH] configure: add --without-docs switch

Date: Mon, 27 Jul 2015 22:42:07 +0200

To: mp39590@gmail.com, notmuch@notmuchmail.org

Cc:

From: David Bremner


mp39590@gmail.com writes:

> From: Mikhail <mp39590@gmail.com>
>
> Previously documentation was build automatically if sphinx/doxygen
> executable were found. The switch is used to unconditionally disable
> sphinx/doxygen detection and therefor, building of documentation
> (including man pages).
> ---
>  
>  The issue was about setting "noprefix = true" in .gitconfig.
>  Please try this patch.

This version seems OK for me. Any objects from others?

d

Thread: