diff options
| author | Mikhail <mp39590@gmail.com> | 2015-07-27 21:04:37 +0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2015-07-27 22:34:38 +0200 |
| commit | edb485e0b93d0c6b82933708b309d1105bf8d63c (patch) | |
| tree | 1de38cb59de91e8ab952686639af5c17f039907e /lib/gen-version-script.sh | |
| parent | 82d8d0b062148b0e26ed344189275421799b1095 (diff) | |
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).
Diffstat (limited to 'lib/gen-version-script.sh')
0 files changed, 0 insertions, 0 deletions