build: Add target install and install-strip.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 16 Apr 2017 11:56:09 +0000 (13:56 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 13 Jul 2017 20:54:03 +0000 (22:54 +0200)
commit727cf8701027f1d043f75941417dcf315ce5f875
tree30d7749bbc516a4310e98f71ca92c8e90c131f49
parent3025388040c1521121255e5ae7ceabdcb1b1e421
build: Add target install and install-strip.

It has always been a bit clumsy to copy the executable and the
manual page to their proper locations by hand, so this commit adds
the two standard targets "install" and "install-strip" which install
both files.

The installation prefix defaults to /usr/local and can be set with
PREFIX. Moreover, there is DESTDIR which may be given to prepend
another directory (useful for for "staged installs", where the
installed files are not placed directly into their expected location
but are instead copied into a temporary location).
INSTALL
Makefile