build: Fix docs build

There was an overlooked used of a dropped option here.
This commit is contained in:
Matthias Clasen
2024-04-21 10:15:06 -04:00
parent 9e6c72210d
commit af0f5e3f30

View File

@@ -80,7 +80,7 @@ if get_option('man-pages') and rst2man.found()
[ 'gtk4-path-tool', '1', ],
]
if get_option('demos')
if get_option('build-demos')
rst_files += [
[ 'gtk4-demo', '1', ],
[ 'gtk4-demo-application', '1', ],