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

[David Bremner]

Tomi Ollila <tomi.ollila at iki.fi> writes:

> 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)
>

I could make a followup commit with "M-x whitespace-cleanup" in emacs,
how does that sound?

d