diff options
| author | David Bremner <david@tethera.net> | 2015-07-30 08:08:31 +0200 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2015-07-30 08:08:31 +0200 |
| commit | a57b3d43033103a1efda78ab2e5f273c217a1834 (patch) | |
| tree | e3767692405017d8765b3b4c1d259ccf05a55c67 /lib | |
| parent | a63b5db87340ce6f031b7a20f40754995ad95ce4 (diff) | |
configure: support --with-docs=no
Since we promise --with-foo=no is equivalent to --without-foo
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions