| 1 | Patch originally from https://sources.debian.net/patches/erlang/1:20.0.1%2Bdfsg-2/man.patch/
|
| 2 | by Francois-Denis Gonthier <[email protected]>.
|
| 3 |
|
| 4 | Patch description rewritten for Guix.
|
| 5 |
|
| 6 | This patch allows access to the man page with the 'erl -man' command
|
| 7 | (Erlang manual pages are placed to /gnu/store/..erlang../share/man/ hierarchy
|
| 8 | as other man pages.)
|
| 9 |
|
| 10 | |
| 11 | |
| 12 | @@ -728,8 +728,10 @@ int main(int argc, char **argv)
|
| 13 | break;
|
| 14 | }
|
| 15 | }
|
| 16 | - erts_snprintf(tmpStr, sizeof(tmpStr), "%s/man", rootdir);
|
| 17 | - set_env("MANPATH", tmpStr);
|
| 18 | + /*
|
| 19 | + * Conform to erlang-manpages content.
|
| 20 | + */
|
| 21 | + putenv(strsave("MANSECT=1:3:5:7"));
|
| 22 | execvp("man", argv+i);
|
| 23 | error("Could not execute the 'man' command.");
|
| 24 | #endif
|