[pango/pango2-windows: 116/126] build: Correct option name for documentation

[Chun-wei Fan <fanchunwei src gnome org>]

commit 121d04a86aecc7ae34984be938b1df621667c79e
Author: Chun-wei Fan <fanchunwei src gnome org>
Date:   Thu Jun 9 15:56:28 2022 +0800

    build: Correct option name for documentation
    
    It is now docs, not gtk_doc.

 meson.build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/meson.build b/meson.build
index bf4a7088..5f118fbe 100644
--- a/meson.build
+++ b/meson.build
@@ -347,7 +347,7 @@ pango_deps += libsysprof_capture_dep
 
 gidocgen_dep = dependency('gi-docgen', version: '>= 2021.1',
                           fallback: ['gi-docgen', 'dummy_dep'],
-                          required: get_option('gtk_doc'))
+                          required: get_option('docs'))
 
 gnome = import('gnome')
 pkgconfig = import('pkgconfig')
@@ -386,7 +386,7 @@ summary('Linker', cc.get_linker_id(), section: 'Toolchain')
 summary('Debugging', get_option('debug'), section: 'Build')
 summary('Optimization', get_option('optimization'), section: 'Build')
 summary('Introspection', get_option('introspection').enabled(), section: 'Build')
-summary('Documentation', get_option('gtk_doc'), section: 'Build')
+summary('Documentation', get_option('docs'), section: 'Build')
 summary('Install tests', get_option('install-tests'), section: 'Build')
 
 summary('prefix', pango_prefix, section: 'Directories')