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

[David Bremner]

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?

d