From: Matthias Clasen <mclasen@redhat.com>
Date: Sat, 5 Aug 2023 03:37:05 +0000 (+0000)
Subject: Merge branch 'matthiasc/for-main' into 'main'
X-Git-Tag: archive/raspbian/4.12.3+ds-1+rpi1~1^2^2^2~22^2~1^2~1
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=be0eaa64ed059c8850590d2a4df0b1b93149f7b5;p=gtk4.git

Merge branch 'matthiasc/for-main' into 'main'

build: Rename docs build options

See merge request GNOME/gtk!6239
---

be0eaa64ed059c8850590d2a4df0b1b93149f7b5