INSTALL

   1 Run `make help` to see a list of targets and a brief description.
   2
   3 Normally, you'll want to run `make install`, which will copy these manual
   4 pages to <$(DESTDIR)$(mandir)/man*>, which by default is
   5 </usr/local/share/man/man*>.
   6
   7 To install to a different path, modify the appropriate directory variables.
   8 See <https://www.gnu.org/prep/standards/html_node/Directory-Variables.html>.
   9
  10 You can use multiple threads with this Makefile safely, which will run
  11 considerably faster: `make -j install`.
  12
  13 The Makefile used by this project requires GNU make(1).