diff options
| author | Herton R. Krzesinski <herton@redhat.com> | 2017-04-20 15:57:28 -0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2017-04-20 15:42:26 -0600 |
| commit | 6e91b74d56e169797ecf8ba64def28d6f2fd5003 (patch) | |
| tree | 8b99a96dd149ffa3fadfbb2525ae52059635aad6 /fs/file.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 <herton@redhat.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'fs/file.c')
0 files changed, 0 insertions, 0 deletions