2017-05-24 20:16:27 -04:00
|
|
|
private_headers = [
|
|
|
|
'st-private.h',
|
|
|
|
'st-theme-node-private.h'
|
|
|
|
]
|
|
|
|
|
|
|
|
configure_file(
|
|
|
|
input: 'version.xml.in',
|
|
|
|
output: 'version.xml',
|
|
|
|
configuration: version_conf
|
|
|
|
)
|
|
|
|
|
|
|
|
gnome.gtkdoc('st',
|
|
|
|
main_sgml: 'st-docs.sgml',
|
|
|
|
src_dir: [
|
|
|
|
join_paths(meson.source_root(), 'src', 'st'),
|
|
|
|
join_paths(meson.build_root(), 'src', 'st')
|
|
|
|
],
|
|
|
|
scan_args: [
|
|
|
|
'--ignore-headers=' + ' '.join(private_headers),
|
2018-08-06 08:21:02 -04:00
|
|
|
'--rebuild-sections'
|
2017-05-24 20:16:27 -04:00
|
|
|
],
|
|
|
|
install: true
|
|
|
|
)
|