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

[Tomi Ollila]

On Mon, Jul 27 2015, David Bremner <david at tethera.net> wrote:

> mp39590 at gmail.com writes:
>
>> From: Mikhail <mp39590 at 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?

Do I sound like a nitpicker when I mention that the new indentations
uses spaces instead of tabs... ;) ? ... perhaps I do since there are 2
other places w/ space indentation (CPPFLAGS & xapian compact)

(otherwise) LGTM

Tomi

>
> d