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

[Peter Mikkelsen]

Den 28. jul. 2017 22.57 skrev "Ludovic Courtès" <address@hidden>:

Hi,

Peter Mikkelsen <address@hidden> skribis:

> * gnu/packages/erlang.scm (erlang): Install
>   the man-pages to the correct directory.
> ---
>  gnu/packages/erlang.scm | 13 ++++++-------
>  1 file changed, 6 insertions(+), 7 deletions(-)
>
> diff --git a/gnu/packages/erlang.scm b/gnu/packages/erlang.scm
> index 07f117e28..6c702a2ba 100644
> --- a/gnu/packages/erlang.scm
> +++ b/gnu/packages/erlang.scm
> @@ -153,16 +153,15 @@
>             (lambda* (#:key inputs outputs #:allow-other-keys)
>               (let* ((out (assoc-ref outputs "out"))
>                      (manpages (assoc-ref inputs "erlang-manpages"))
> -                    (share (string-append out "/share/")))
> -             (mkdir-p share)
> -             (mkdir-p (string-append share "/misc/erlang"))
> -             (with-directory-excursion share
> +                    (release-dir (string-append out "/lib/erlang")))
> +             (with-directory-excursion release-dir
>                 (and
>                   (zero? (system* "tar" "xvf" manpages))
>                   (rename-file "COPYRIGHT"
> -                              (string-append share "/misc/erlang/COPYRIGHT"))
> -                 ;; Delete superfluous file.
> -                 (delete-file "PR.template")))))))))
> +                              (string-append release-dir "/misc/COPYRIGHT"))

IIUC, this installs man pages and ‘COPYRIGHT’ to OUT/lib/erlang, right?
Shouldn’t it go to OUT/share/erlang instead?

Thanks,
Ludo’.

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 :)