diff options
author | Philip Withnall <pwithnall@gnome.org> | 2023-11-29 10:26:37 +0000 |
---|---|---|
committer | Philip Withnall <pwithnall@gnome.org> | 2023-11-29 10:26:37 +0000 |
commit | e8edaeeb8713bfe28fceab47e2e00da61060b6e4 (patch) | |
tree | b0ffd1888b1a6424948100525fcabea0b2bada9e /meson.build | |
parent | f6a1599e3c8fcb0d3cb56b10c05734642b202d15 (diff) |
build: Rename -Dgtk_doc option to -Ddocumentation
Because the documentation is no longer built using gtk-doc.
Keep the old option around, but deprecated.
Signed-off-by: Philip Withnall <pwithnall@gnome.org>
Helps: #3037
Diffstat (limited to 'meson.build')
-rw-r--r-- | meson.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/meson.build b/meson.build index b87a95e02..0a51fae99 100644 --- a/meson.build +++ b/meson.build @@ -2638,7 +2638,7 @@ summary({ 'dtrace' : get_option('dtrace'), 'systemtap' : enable_systemtap, 'sysprof' : libsysprof_capture_dep.found(), - 'gtk_doc' : get_option('gtk_doc'), + 'documentation' : get_option('documentation'), 'bsymbolic_functions' : get_option('bsymbolic_functions'), 'force_posix_threads' : get_option('force_posix_threads'), 'tests' : get_option('tests'), |