[Nix-dev] Should I do something about /share/man?

[Michael Sperber]

The installation of many Nix packages for me ends in this:

moving /nix/store/qhpf938zw5mbrlvazpnlkvd9z3fmvyyq-adv_cmds-153/share/man to /share/man
mv: cannot move '/nix/store/qhpf938zw5mbrlvazpnlkvd9z3fmvyyq-adv_cmds-153/share/man' to '/share/man/man': Permission denied
... aborting the install

(This is on Mac OS X.)

I think I saw this before, but it was always ignored.

Should I create /share/man and make it writable?  Did I overlook some
bit of documentation?

-- 
Regards,
Mike