slight tuning of /etc/mk situation when making release.
tree5cdc4591eedb642dd26662ed76a2a3644cc114e8
-rw-r--r-- 2669 LICENSE
-rw-r--r-- 2240 Makefile
drwxr-xr-x - benchmarks
drwxr-xr-x - boot
drwxr-xr-x - commands
drwxr-xr-x - docs
drwxr-xr-x - drivers
drwxr-xr-x - etc
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - man
drwxr-xr-x - servers
drwxr-xr-x - test
drwxr-xr-x - tools