diff options
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2014-05-26 03:36:52 +0200 |
|---|---|---|
| committer | Michael Kerrisk <mtk.manpages@gmail.com> | 2014-05-26 10:16:11 +0200 |
| commit | 780b72d47b4ec1b2ff2115cd83f5045103ac45ca (patch) | |
| tree | 705a2d0d8d85c02b1e27b4034c1476d324fba3f9 /README | |
| parent | 7a8110f6af9f3f7f76b7ff6f054cbad64b5de83a (diff) | |
README: Explain usage of prefix when installing
Installing the man pages to /usr may not be the preferred option
when working on a system with a packaging system like apt or yum,
where /usr is reserved for packages and /usr/local or /opt is used
for user addons.
README should explain how to install to a path different to /usr.
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Diffstat (limited to 'README')
| -rw-r--r-- | README | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -4,6 +4,8 @@ This package contains Linux man pages for sections Install by copying to your favourite location. "make install" will just copy them to /usr/share/man/man[1-8]. +To install to a path different from /usr use +"make install prefix=/install/path". "make" will move the pages from this package that are older than the already installed ones to a subdirectory `not_installed', then remove old versions (compressed or not), |