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

[Tomi Ollila]

On Tue, Jul 28 2015, David Bremner <david at tethera.net> wrote:

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

fine by me.

>
> d

Tomi