diff options
author | Andres Freund | 2023-11-21 01:46:40 +0000 |
---|---|---|
committer | Andres Freund | 2023-11-21 01:46:40 +0000 |
commit | ddcab2a0329511e8872b62f2c77e5fa33547c277 (patch) | |
tree | 89910a2687d3389d38c1d529bf2426192bf53d1b | |
parent | ad57c2a7c58665c14236a999435d37ba59eb7fc4 (diff) |
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 <[email protected]>
Reviewed-by: Peter Eisentraut <[email protected]>
Discussion: https://postgr.es/m/[email protected]
-rw-r--r-- | doc/src/sgml/meson.build | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/src/sgml/meson.build b/doc/src/sgml/meson.build index 90e2c062fa8..e5a38e060c7 100644 --- a/doc/src/sgml/meson.build +++ b/doc/src/sgml/meson.build @@ -142,7 +142,8 @@ if docs_dep.found() '--install-dir-contents', dir_doc_html, html], 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 docs += html @@ -231,7 +232,8 @@ if docs_dep.found() '--install-dirs', dir_man, '@INPUT@'], 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 # to install them as part of install-docs |