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

[Michael Sperber]

Thanks for the quick response!

Matthias Beyer <mail at beyermatthias.de> writes:

> Man files are supposed to be in the store as well.
>
> You should create a
>
>     $out/share/man/
>
> and move the man files of a program to this location.

Sorry for being dense - where does $out come from? I.e. how can I set
it to something other than "" and how would that avoid this problem:

> On 28-10-2015 17:28:58, Michael Sperber wrote:

>> Well, I just did that, but then the *second* package that tries to do
>> this fails with:
>> 
>> mv: cannot move '/nix/store/ag4ni27jvlnbdnklbpb1xv4cqchxd30s-expat-2.1.0/share/man' to '/share/man/man': Directory not empty

-- 
Regards,
Mike