diff options
author | Andres Freund <andres@anarazel.de> | 2023-03-23 21:20:18 -0700 |
---|---|---|
committer | Andres Freund <andres@anarazel.de> | 2023-03-23 21:20:18 -0700 |
commit | f13eb16485fec7958a59f263827b2333dea93e59 (patch) | |
tree | 997c909cf0982ac1068a05b44718c8f51f5b1721 /meson.build | |
parent | 614c5f5f52d53d0b3ed3a829ebf7f5ebd53e7a5a (diff) | |
download | postgresql-f13eb16485fec7958a59f263827b2333dea93e59.tar.gz |
meson: add install-{docs,doc-html,doc-man} targets
Discussion: https://postgr.es/m/3fc3bb9b-f7f8-d442-35c1-ec82280c564a@enterprisedb.com
Diffstat (limited to 'meson.build')
-rw-r--r-- | meson.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/meson.build b/meson.build index 84fe2c3d4c..33dd5b43ed 100644 --- a/meson.build +++ b/meson.build @@ -504,7 +504,7 @@ dir_man = get_option('mandir') # FIXME: These used to be separately configurable - worth adding? dir_doc = get_option('datadir') / 'doc' / 'postgresql' -dir_doc_html = dir_doc +dir_doc_html = dir_doc / 'html' dir_locale = get_option('localedir') |