diff options
author | Peter Mikkelsen <petermikkelsen10@gmail.com> | 2017-07-29 17:06:55 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-29 23:03:47 +0200 |
commit | a4078acf4ab7d694e86ffcaef2073d71e58508f1 (patch) | |
tree | a78a691674205eee8cdc7b64baef59b6abc68758 /m4 | |
parent | 53ac6977ac0bbd766d014d3b0aefea3958bbf54f (diff) | |
download | guix-a4078acf4ab7d694e86ffcaef2073d71e58508f1.tar guix-a4078acf4ab7d694e86ffcaef2073d71e58508f1.tar.gz |
gnu: erlang: Fix man-pages search path of 'erl -man'.
* 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.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions