summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndres Freund2023-11-21 01:46:40 +0000
committerAndres Freund2023-11-21 01:46:40 +0000
commitddcab2a0329511e8872b62f2c77e5fa33547c277 (patch)
tree89910a2687d3389d38c1d529bf2426192bf53d1b
parentad57c2a7c58665c14236a999435d37ba59eb7fc4 (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.build6
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