mirror of
https://github.com/brl/mutter.git
synced 2024-11-21 23:50:41 -05:00
docs: Prefer using gi-docgen from a subproject
As that is the recommended process from the upstream developers Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3538>
This commit is contained in:
parent
4fab773e12
commit
9ed180209a
@ -333,11 +333,6 @@ if have_introspection
|
|||||||
endif
|
endif
|
||||||
|
|
||||||
have_documentation = get_option('docs')
|
have_documentation = get_option('docs')
|
||||||
if have_documentation
|
|
||||||
gidocgen_dep = dependency('gi-docgen', version: '>= 2021.1',
|
|
||||||
fallback: ['gi-docgen', 'dummy_dep'])
|
|
||||||
endif
|
|
||||||
|
|
||||||
have_tests = get_option('tests')
|
have_tests = get_option('tests')
|
||||||
have_core_tests = false
|
have_core_tests = false
|
||||||
have_cogl_tests = false
|
have_cogl_tests = false
|
||||||
|
9
subprojects/gi-docgen.wrap
Normal file
9
subprojects/gi-docgen.wrap
Normal file
@ -0,0 +1,9 @@
|
|||||||
|
[wrap-git]
|
||||||
|
directory=gi-docgen
|
||||||
|
url=https://gitlab.gnome.org/GNOME/gi-docgen.git
|
||||||
|
push-url=ssh://git@gitlab.gnome.org:GNOME/gi-docgen.git
|
||||||
|
revision=main
|
||||||
|
depth=1
|
||||||
|
|
||||||
|
[provide]
|
||||||
|
program_names = gi-docgen
|
Loading…
Reference in New Issue
Block a user