diff options
author | Matthias Clasen <mclasen@redhat.com> | 2019-07-01 12:57:16 -0400 |
---|---|---|
committer | Matthias Clasen <mclasen@redhat.com> | 2019-07-01 20:16:37 -0400 |
commit | 4eaf860e8674c6a30385e5eb55bb056bb02560d6 (patch) | |
tree | 624b877974af1be168b9446158c5c69fecfc43f8 /meson_options.txt | |
parent | f6019f1a16345e591fcc778b5383085d5046a64a (diff) | |
download | gtk+-4eaf860e8674c6a30385e5eb55bb056bb02560d6.tar.gz |
meson: Rename documentation option to gtk_doc
This name is what most of the stack is using.
Lets follow along, even though it is (imo)
uglier.
Diffstat (limited to 'meson_options.txt')
-rw-r--r-- | meson_options.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/meson_options.txt b/meson_options.txt index 20dc5d0338..73f26da7da 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -31,7 +31,7 @@ option('colord', type: 'combo', choices : ['yes', 'no', 'auto'], value : 'auto', description : 'Build colord support for the CUPS printing backend') # Documentation and introspection -option('documentation', type: 'boolean', value: 'false', +option('gtk_doc', type: 'boolean', value: 'false', description : 'Build API reference and tools documentation') option('man-pages', type: 'boolean', value: 'false', description : 'Build man pages for installed tools') |