mirror of
https://github.com/postgres/postgres.git
synced 2025-06-02 00:01:40 -04:00
meson: docs: Add {html,man} targets, rename install-doc-*
We have toplevel html, man targets in the autoconf build as well. It'd be odd to have an 'html' target but have the install target be 'install-doc-html', thus rename the install targets to match. Reviewed-by: Christoph Berg <myon@debian.org> Reviewed-by: Peter Eisentraut <peter@eisentraut.org> Discussion: https://postgr.es/m/20231103163848.26egkh5qdgw3vmil@awork3.anarazel.de
This commit is contained in:
parent
ad57c2a7c5
commit
ddcab2a032
@ -142,7 +142,8 @@ if docs_dep.found()
|
|||||||
'--install-dir-contents', dir_doc_html, html],
|
'--install-dir-contents', dir_doc_html, html],
|
||||||
build_always_stale: true, build_by_default: false,
|
build_always_stale: true, build_by_default: false,
|
||||||
)
|
)
|
||||||
alias_target('install-doc-html', install_doc_html)
|
alias_target('html', html)
|
||||||
|
alias_target('install-html', install_doc_html)
|
||||||
|
|
||||||
# build and install multi-page html docs as part of docs target
|
# build and install multi-page html docs as part of docs target
|
||||||
docs += html
|
docs += html
|
||||||
@ -231,7 +232,8 @@ if docs_dep.found()
|
|||||||
'--install-dirs', dir_man, '@INPUT@'],
|
'--install-dirs', dir_man, '@INPUT@'],
|
||||||
build_always_stale: true, build_by_default: false,
|
build_always_stale: true, build_by_default: false,
|
||||||
)
|
)
|
||||||
alias_target('install-doc-man', install_doc_man)
|
alias_target('man', man)
|
||||||
|
alias_target('install-man', install_doc_man)
|
||||||
|
|
||||||
# even though we don't want to build man pages as part of 'docs', we do want
|
# even though we don't want to build man pages as part of 'docs', we do want
|
||||||
# to install them as part of install-docs
|
# to install them as part of install-docs
|
||||||
|
Loading…
x
Reference in New Issue
Block a user