Documentation: allow installing man pages to a user defined directory
authorHerton R. Krzesinski <herton@redhat.com>
Thu, 20 Apr 2017 18:57:28 +0000 (15:57 -0300)
committerJonathan Corbet <corbet@lwn.net>
Thu, 20 Apr 2017 21:42:26 +0000 (15:42 -0600)
commit6e91b74d56e169797ecf8ba64def28d6f2fd5003
tree8b99a96dd149ffa3fadfbb2525ae52059635aad6
parentd73350568cc773863d2587b06c4d7362e4df92c7
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>
Documentation/DocBook/Makefile