configure: add --without-docs switch
authorMikhail <mp39590@gmail.com>
Mon, 27 Jul 2015 18:04:37 +0000 (21:04 +0300)
committerDavid Bremner <david@tethera.net>
Mon, 27 Jul 2015 20:34:38 +0000 (22:34 +0200)
commitedb485e0b93d0c6b82933708b309d1105bf8d63c
tree1de38cb59de91e8ab952686639af5c17f039907e
parent82d8d0b062148b0e26ed344189275421799b1095
configure: add --without-docs switch

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