[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#27856: [PATCH] gnu: erlang: Fix install-doc phase.
|
From: |
Ludovic Courtès |
|
Subject: |
bug#27856: [PATCH] gnu: erlang: Fix install-doc phase. |
|
Date: |
Sat, 29 Jul 2017 22:31:22 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) |
Peter Mikkelsen <address@hidden> skribis:
> From 51a099c66217d1018815d1226c59228aa49024fe Mon Sep 17 00:00:00 2001
> From: Peter Mikkelsen <address@hidden>
> Date: Sat, 29 Jul 2017 17:06:55 +0200
> Subject: [PATCH] gnu: erlang: Fix man-pages search path.
>
> * gnu/packages/patches/erlang-man-path.patch: New file.
> * gnu/local.mk (dist_patch_DATA): Add it.
> * gnu/packages/erlang.scm (erlang)[source]: Use it.
Great, applied. Thanks!
Ludo’.