mirror of
https://gitlab.freedesktop.org/mesa/mesa.git
synced 2024-11-23 02:04:41 +08:00
meson: allow specifying html-docs-path
This will allow us to decide where to install docs. Useful for GitLab Pages on CI. Reviewed-by: Daniel Stone <daniels@collabora.com> Reviewed-by: Eric Engestrom <eric@igalia.com> Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/11494>
This commit is contained in:
parent
e31dde13d1
commit
1e7636fbb1
@ -22,8 +22,13 @@ html_docs = custom_target(
|
||||
build_by_default: get_option('html-docs').enabled(),
|
||||
)
|
||||
|
||||
html_docs_path = get_option('html-docs-path')
|
||||
if html_docs_path == ''
|
||||
html_docs_path = join_paths(get_option('datadir'), 'doc', 'mesa')
|
||||
endif
|
||||
|
||||
install_subdir(html_docs.full_path(),
|
||||
install_dir: join_paths(get_option('datadir'), 'doc', 'mesa'),
|
||||
install_dir: html_docs_path,
|
||||
exclude_files: ['.buildinfo'],
|
||||
exclude_directories: ['.doctrees'],
|
||||
strip_directory: true
|
||||
|
@ -490,6 +490,13 @@ option(
|
||||
description : 'Build HTML documentation.'
|
||||
)
|
||||
|
||||
option(
|
||||
'html-docs-path',
|
||||
type : 'string',
|
||||
value : '',
|
||||
description : 'Location to install HTML documentation. Default: $datadir/doc/mesa.'
|
||||
)
|
||||
|
||||
option(
|
||||
'selinux',
|
||||
type : 'boolean',
|
||||
|
Loading…
Reference in New Issue
Block a user