diff options
author | Alejandro Colomar <alx.manpages@gmail.com> | 2022-06-20 00:32:49 +0200 |
---|---|---|
committer | Alejandro Colomar <alx.manpages@gmail.com> | 2022-06-20 00:32:51 +0200 |
commit | 2e16e0e9222642bbc20bf0b6bfb30fba0df45341 (patch) | |
tree | ef2d0ebd722f39498f70f46d67c974869eb17516 /README | |
parent | 26061fbd337fbcfb6255def88ef4f0573c090702 (diff) |
Makefile, README: Fix make all
`make all` should not install and even less uninstall. That's
unintuitive, and might break stuff that we don't want to break.
Instead, make it build all useful things that we can build, which
right now is only the HTML pages, but in the future might include
PDF pages.
Reported-by: Ingo Schwarze <schwarze@usta.de>
Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
Diffstat (limited to 'README')
-rw-r--r-- | README | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -30,9 +30,6 @@ To install only a specific man section (mandir) such as man3, use "make install-man3". Similar syntax can be used to uninstall a specific man section, such as man7: "make uninstall-man7". -"make" or "make all" will perform "make uninstall" followed by "make -install". - Consider using multiple threads (at least 2) when installing these man pages, as the Makefile is optimized for multiple threads: "make -j install". |