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	…