1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
|
Name
Install - instructions for installing the pages into the system
Synopsis
sudo make [-j] install [prefix=ARG] [DESTDIR=ARG] [...]
Description
(a) Use a package manager
If you want to install the manual pages into your system,
consider installing them through your package manager from an
official release, instead of installing them from this
repository. This repository contains the newest manual pages,
but using an official release and the system package manager
offers important benefits. On a Debian system it would be:
$ sudo apt-get install -V manpages-dev manpages
If you prefer to install the manual pages from this repository,
maybe because your system ships a too old version, consider
updating the package offered by your system. See the <RELEASE>
file, and also talk to the maintainer of the package in your
distribution.
(b) Install manually from source
If you are contributing to the project, you may want to install
the manual pages from this repository to test them, instead of
using an official release. Or maybe your distribution installs
packages from source code without any package manager.
In most cases, you just want to install all of the manual pages,
and nothing else. To install them in the default system
directory (per GNU guidelines), use:
$ sudo make install
It takes a few seconds, so it's fine to do it in parallel with:
$ sudo make -j install
A few features can be used to tweak the install:
Variables
There are many variables available with which you can tweak
the build system. Most of them are directory variables and
command variables, based on the GNU Coding Standards. Others
are specially designed for this project. To see all of the
available variables, use:
$ make help
The most common ones that you may use are:
- DESTDIR
- prefix
Uninstall
You can uninstall the pages with the following command (but
see the "Caveats" section below):
$ sudo make uninstall
Targets
There are targets for more granular control, such as
'install-man3'. See the help to know all of them:
$ make help
Dependencies
To see the build-dependencies of the project, that is, the
dependencies of the build system, see `make help`.
To read the manual pages, you'll need:
- man(1)
- groff(1) | mandoc(1)
Lint & check
You can lint and check both the manual pages, and the example C
programs contained in them. See 'make help' for a list of
targets that can be used.
Files
GNUmakefile, share/mk/install-man.mk, share/mk/install.mk
Main makefiles for installing (however, others may also be used
by inclusion).
share/mk/cmd.mk
Command variables.
share/mk/install-html.mk
Makefile to install HTML manual pages.
share/mk/verbose.mk
Handle verbose settings.
share/mk/*
Other makefiles.
man*/*
Manual pages.
/usr/local/share/man/man*/*
Default location for installed pages.
Standards
We follow closely the GNU Coding Standards:
<https://www.gnu.org/prep/standards/html_node/Directory-Variables.html>.
<https://www.gnu.org/prep/standards/html_node/Command-Variables.html>.
And the Filesystem Hierarchy Standard:
<https://refspecs.linuxfoundation.org/FHS_3.0/fhs/index.html>
But deviate from them in some cases, the most notable case being
the use of directories for manual subsections, such as
<man3type/>.
Caveats
Uninstall
You can uninstall the pages. However, take into account that it
will only uninstall pages that exist in the repository. This
means that if you installed the manual pages from source from an
older version of the repository with 'make install', and some
page was [re]moved later, it won't be uninstalled. You should
probably install with a prefix of prefix=/opt/local/man-pages to
be able to nuke the directory later with
'rm -r /opt/local/man-pages'. However, you'll need to modify
your $MANPATH to be able to use those manual pages as if they
were in a system path.
Version and last-modified date
If you're an end user or a distributor, make sure you do this
(install) from a tarball, and not from the git repository. The
manual pages in the repository have placeholders for the version
and last modified date, which are filled when creating the
tarball. You can create your own tarball, for which you need to
read the RELEASE file.
See also
gmake(1)
|
