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 /.gitlab-ci.yml | |
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 '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index cf08e699a7..20b4919b53 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -105,7 +105,7 @@ pages: image: registry.gitlab.gnome.org/gnome/gtk/master:v6 stage: deploy script: - - meson -Ddocumentation=true _build . + - meson -Dgtk_doc=true _build . - ninja -C _build - ninja -C _build gdk4-doc gsk4-doc gtk4-doc |