mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-18 15:51:11 +00:00
build: Fix error messages for missing hotdoc extensions
This commit is contained in:
parent
dad6e51165
commit
af360dc641
1 changed files with 1 additions and 1 deletions
|
@ -41,7 +41,7 @@ hotdoc = import('hotdoc')
|
||||||
foreach extension: required_hotdoc_extensions
|
foreach extension: required_hotdoc_extensions
|
||||||
if not hotdoc.has_extensions(extension)
|
if not hotdoc.has_extensions(extension)
|
||||||
if get_option('doc').enabled()
|
if get_option('doc').enabled()
|
||||||
error('Documentation enabled but gi-extension missing')
|
error('Documentation enabled but @0@ missing'.format(extension))
|
||||||
endif
|
endif
|
||||||
|
|
||||||
message('@0@ extensions not found, not building documentation requiring it'.format(extension))
|
message('@0@ extensions not found, not building documentation requiring it'.format(extension))
|
||||||
|
|
Loading…
Reference in a new issue