Merge branch 'matthiasc/for-main' into 'main'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 5 Aug 2023 03:37:05 +0000 (03:37 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 5 Aug 2023 03:37:05 +0000 (03:37 +0000)
build: Rename docs build options

See merge request GNOME/gtk!6239


Trivial merge