diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-08-27 16:03:03 +0200 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2018-10-08 10:30:50 +0200 |
commit | 1dae711f17473e12c822a657ffca02abee27b3a2 (patch) | |
tree | 920f52f7defdf28aa75d8b0d87f25660ec90722b /vapi/gdk-3.0.vapi | |
parent | 2eee4d0db7657800acbc7a926d48234465ed4e21 (diff) | |
download | vala-1dae711f17473e12c822a657ffca02abee27b3a2.tar.gz |
build: Allow disabling the build of valadoc
Allow disabling build of valadoc with configure option --disable-valadoc
Fixes https://gitlab.gnome.org/GNOME/vala/issues/596
Diffstat (limited to 'vapi/gdk-3.0.vapi')
0 files changed, 0 insertions, 0 deletions