diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2017-09-06 09:43:24 -0400 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2017-09-06 11:10:55 -0400 |
| commit | dd4361a63807bef13a5043b4acd5f19db7a3d984 (patch) | |
| tree | 7c85e375bc67e91bffebca87f94576d467155bfa /meson.build | |
| parent | 15edfbbc88270ae7ff9099ffee1850f2c3950870 (diff) | |
| download | gtk+-dd4361a63807bef13a5043b4acd5f19db7a3d984.tar.gz | |
Rename enable-documentation and enable-man-pages options
You can now disable the documentation build with
-Ddocumentation=false and -Dman-pages=false.
Diffstat (limited to 'meson.build')
| -rw-r--r-- | meson.build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/meson.build b/meson.build index 85f408cb7e..9c9abffac8 100644 --- a/meson.build +++ b/meson.build @@ -608,7 +608,7 @@ endif subdir('po') subdir('po-properties') -if get_option('enable-documentation') +if get_option('documentation') subdir('docs/tools') subdir('docs/reference') endif @@ -621,7 +621,7 @@ summary = [ ' Enabled backends: @0@'.format(pkg_targets.strip()), ' Vulkan support: @0@'.format(have_vulkan), ' Tests: @0@'.format(get_option('build-tests')), - ' Documentation: @0@'.format(get_option('enable-documentation')), + ' Documentation: @0@'.format(get_option('documentation')), ' Demos: @0@'.format(get_option('demos')), '------', '' |