diff options
| -rw-r--r-- | gnu/packages/patches/erlang-man-path.patch | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/packages/patches/erlang-man-path.patch b/gnu/packages/patches/erlang-man-path.patch index 68fc9f45b4..e5beb4af1e 100644 --- a/gnu/packages/patches/erlang-man-path.patch +++ b/gnu/packages/patches/erlang-man-path.patch @@ -9,10 +9,10 @@ as other man pages.) --- a/erts/etc/common/erlexec.c +++ b/erts/etc/common/erlexec.c -@@ -709,8 +709,10 @@ - error("-man not supported on Windows"); - #else - argv[i] = "man"; +@@ -728,8 +728,10 @@ int main(int argc, char **argv) + break; + } + } - erts_snprintf(tmpStr, sizeof(tmpStr), "%s/man", rootdir); - set_env("MANPATH", tmpStr); + /* |