build.sh: use MANDIR if it is already defined.
If MANDIR
is already defined then use that as the location to install
man pages, otherwise install them to $PREFIX/man
Signed-off-by: Gavin-John Noonan mail@gjnoonan.co.uk
If MANDIR
is already defined then use that as the location to install
man pages, otherwise install them to $PREFIX/man
Signed-off-by: Gavin-John Noonan mail@gjnoonan.co.uk