[bug#27856] [PATCH] gnu: erlang: Fix install-doc phase.

[Ludovic Courtès]

Hi Peter,

Peter Mikkelsen <address@hidden> skribis:

> Yes it does, and I found out that Erlang looks for man pages in 
> /gnu/store/.....erlang../lib/erlang/man
>
> This can be verified by the output of running "erl -man -w"
>
> You are right it seems a bit odd, but to my understanding that is just how it 
> is :)

Indeed, odd, since /lib is for architecture-dependent bits.

How difficult would it be to patch ‘erl -man’ to look for man pages in
/share/man?  I wouldn’t be surprised if other distros like Debian
already have a patch doing this.

WDYT?

Ludo’.