mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-11-15 19:35:25 -05:00
25 lines
789 B
Diff
25 lines
789 B
Diff
|
Patch originally from https://sources.debian.net/patches/erlang/1:20.0.1%2Bdfsg-2/man.patch/
|
||
|
|
by Francois-Denis Gonthier <neumann@lostwebsite.net>.
|
||
|
|
|
||
|
|
Patch description rewritten for Guix.
|
||
|
|
|
||
|
|
This patch allows access to the man page with the 'erl -man' command
|
||
|
|
(Erlang manual pages are placed to /gnu/store/..erlang../share/man/ hierarchy
|
||
|
|
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";
|
||
|
|
- erts_snprintf(tmpStr, sizeof(tmpStr), "%s/man", rootdir);
|
||
|
|
- set_env("MANPATH", tmpStr);
|
||
|
|
+ /*
|
||
|
|
+ * Conform to erlang-manpages content.
|
||
|
|
+ */
|
||
|
|
+ putenv(strsave("MANSECT=1:3:5:7"));
|
||
|
|
execvp("man", argv+i);
|
||
|
|
error("Could not execute the 'man' command.");
|
||
|
|
#endif
|