mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-15 13:53:19 +00:00
doc: Require hotdoc >= 0.11.0
This commit is contained in:
parent
6e50c6c6fb
commit
31e68eb26a
1 changed files with 11 additions and 0 deletions
|
@ -40,6 +40,17 @@ if not hotdoc_p.found()
|
||||||
subdir_done()
|
subdir_done()
|
||||||
endif
|
endif
|
||||||
|
|
||||||
|
hotdoc_req = '>= 0.11.0'
|
||||||
|
hotdoc_version = run_command(hotdoc_p, '--version').stdout()
|
||||||
|
if not hotdoc_version.version_compare(hotdoc_req)
|
||||||
|
if get_option('doc').enabled()
|
||||||
|
error('Hotdoc version @0@ not found, got @1@'.format(hotdoc_req, hotdoc_version))
|
||||||
|
else
|
||||||
|
message('Hotdoc version @0@ not found, got @1@'.format(hotdoc_req, hotdoc_version))
|
||||||
|
subdir_done()
|
||||||
|
endif
|
||||||
|
endif
|
||||||
|
|
||||||
hotdoc = import('hotdoc')
|
hotdoc = import('hotdoc')
|
||||||
required_hotdoc_extensions = ['gi-extension', 'gst-extension']
|
required_hotdoc_extensions = ['gi-extension', 'gst-extension']
|
||||||
foreach extension: required_hotdoc_extensions
|
foreach extension: required_hotdoc_extensions
|
||||||
|
|
Loading…
Reference in a new issue