diff options
| author | Herton R. Krzesinski <[email protected]> | 2017-04-20 15:57:28 -0300 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2017-04-20 15:42:26 -0600 |
| commit | 6e91b74d56e169797ecf8ba64def28d6f2fd5003 (patch) | |
| tree | 8b99a96dd149ffa3fadfbb2525ae52059635aad6 /net/unix/garbage.c | |
| parent | d73350568cc773863d2587b06c4d7362e4df92c7 (diff) | |
Documentation: allow installing man pages to a user defined directory
Documentation/DocBook/Makefile hard codes the prefixed path to which you
can install the built man pages (/usr/local prefix). That's unfortunate
since the user may want to install to another prefix or location (for
example, a distribution packaging the man pages may want to install to a
random temporary location in the build process).
Be flexible and allow the prefixed path to which we install man pages to be
changed with the INSTALL_MAN_PATH environment variable (and use the same
default as other similar variables like INSTALL_HDR_PATH).
Signed-off-by: Herton R. Krzesinski <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'net/unix/garbage.c')
0 files changed, 0 insertions, 0 deletions