projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ba827e) | patch
meson: add docs, docs_pdf options
authorAndres Freund
Wed, 5 Apr 2023 04:29:39 +0000 (21:29 -0700)
committerAndres Freund
Wed, 5 Apr 2023 04:29:39 +0000 (21:29 -0700)
commitef07d351a1860a6e93c89cc7af3ae13366942bf0
tree790f3d304974f127c47f9a72e86914cb8adb2e5etree
parent0ba827ecfc677cb449b3a370cf6613b4a770c4f8commit | diff
meson: add docs, docs_pdf options

Detect and report if the tools necessary to build documentation are available
during configure. This is represented as two new options 'docs' and
'docs_pdf', both defaulting to 'auto'.

This should also fix a meson error about the installdocs target, when none of
the doc tools are found.

Reviewed-by: Justin Pryzby
Discussion: https://postgr.es/m/20230325201414[email protected]
Discussion: https://postgr.es/m/ZB8331v5IhUA/[email protected]
doc/src/sgml/installation.sgml diff | blob | blame | history
doc/src/sgml/meson.build diff | blob | blame | history
meson.build diff | blob | blame | history
meson_options.txt diff | blob | blame | history
This is the main PostgreSQL git repository.