mirror of https://github.com/postgres/postgres
This applies the logic from 8f6858064b
(append "postgresql" to some
installation paths if it does not already contain "pgsql" or
"postgres") also to the doc installation directory.
Reviewed-by: Tristan Partin <tristan@neon.tech>
Reviewed-by: Andres Freund <andres@anarazel.de>
Discussion: https://www.postgresql.org/message-id/b018b577-38a2-49c6-8727-adfb577de317@eisentraut.org
pull/146/head
parent
b44a1708ab
commit
7b8399819b
Loading…
Reference in new issue