diff options
| author | Andres Freund | 2023-03-24 04:20:18 +0000 |
|---|---|---|
| committer | Andres Freund | 2023-03-24 04:20:18 +0000 |
| commit | f13eb16485fec7958a59f263827b2333dea93e59 (patch) | |
| tree | 997c909cf0982ac1068a05b44718c8f51f5b1721 /meson.build | |
| parent | 614c5f5f52d53d0b3ed3a829ebf7f5ebd53e7a5a (diff) | |
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 84fe2c3d4c3..33dd5b43ed5 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') |