cjs 6bfea0ecb9 For install makefile, set DESTDIR on command line rather than in makefile ...

so it overrides /etc/mk.conf as well as environment variables.

1999-03-30 03:17:26 +00:00

..

Makefile

…

makewhatis.8

…

makewhatis.sh

…