meson: add install-{docs,doc-html,doc-man} targets
Discussion: https://postgr.es/m/3fc3bb9b-f7f8-d442-35c1-ec82280c564a@enterprisedb.com
This commit is contained in:
parent
614c5f5f52
commit
f13eb16485
|
@ -1,6 +1,7 @@
|
||||||
# Copyright (c) 2022-2023, PostgreSQL Global Development Group
|
# Copyright (c) 2022-2023, PostgreSQL Global Development Group
|
||||||
|
|
||||||
docs = []
|
docs = []
|
||||||
|
installdocs = []
|
||||||
alldocs = []
|
alldocs = []
|
||||||
doc_generated = []
|
doc_generated = []
|
||||||
|
|
||||||
|
@ -120,8 +121,19 @@ if xsltproc_bin.found()
|
||||||
)
|
)
|
||||||
alldocs += html
|
alldocs += html
|
||||||
|
|
||||||
# build multi-page html docs as part of docs target
|
install_doc_html = custom_target('install-html',
|
||||||
|
output: 'install-html',
|
||||||
|
command: [
|
||||||
|
python, install_files, '--prefix', dir_prefix,
|
||||||
|
'--install-dir-contents', dir_doc_html, html],
|
||||||
|
build_always_stale: true, build_by_default: false,
|
||||||
|
)
|
||||||
|
alias_target('install-doc-html', install_doc_html)
|
||||||
|
|
||||||
|
# build and install multi-page html docs as part of docs target
|
||||||
docs += html
|
docs += html
|
||||||
|
installdocs += install_doc_html
|
||||||
|
|
||||||
|
|
||||||
htmlhelp = custom_target('htmlhelp',
|
htmlhelp = custom_target('htmlhelp',
|
||||||
input: ['stylesheet-hh.xsl', postgres_full_xml],
|
input: ['stylesheet-hh.xsl', postgres_full_xml],
|
||||||
|
@ -208,6 +220,19 @@ if xsltproc_bin.found()
|
||||||
build_by_default: false,
|
build_by_default: false,
|
||||||
)
|
)
|
||||||
alldocs += man
|
alldocs += man
|
||||||
|
|
||||||
|
install_doc_man = custom_target('install-man',
|
||||||
|
output: 'install-man',
|
||||||
|
command: [
|
||||||
|
python, install_files, '--prefix', dir_prefix,
|
||||||
|
'--install-dirs', dir_man, man],
|
||||||
|
build_always_stale: true, build_by_default: false,
|
||||||
|
)
|
||||||
|
alias_target('install-doc-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
|
||||||
|
installdocs += install_doc_man
|
||||||
endif
|
endif
|
||||||
|
|
||||||
|
|
||||||
|
@ -266,6 +291,7 @@ if docs.length() == 0
|
||||||
run_target('docs', command: [missing, 'xsltproc'])
|
run_target('docs', command: [missing, 'xsltproc'])
|
||||||
else
|
else
|
||||||
alias_target('docs', docs)
|
alias_target('docs', docs)
|
||||||
|
alias_target('install-docs', installdocs)
|
||||||
endif
|
endif
|
||||||
|
|
||||||
if alldocs.length() == 0
|
if alldocs.length() == 0
|
||||||
|
|
|
@ -504,7 +504,7 @@ dir_man = get_option('mandir')
|
||||||
|
|
||||||
# FIXME: These used to be separately configurable - worth adding?
|
# FIXME: These used to be separately configurable - worth adding?
|
||||||
dir_doc = get_option('datadir') / 'doc' / 'postgresql'
|
dir_doc = get_option('datadir') / 'doc' / 'postgresql'
|
||||||
dir_doc_html = dir_doc
|
dir_doc_html = dir_doc / 'html'
|
||||||
|
|
||||||
dir_locale = get_option('localedir')
|
dir_locale = get_option('localedir')
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue