Patch originally from https://sources.debian.net/patches/erlang/1:20.0.1%2Bdfsg-2/man.patch/ by Francois-Denis Gonthier . 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 /option> Wojtek's customized Guixght'>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/opencl.scm
AgeCommit message (Expand)Author
2022-02-16gnu: opencl-icd-loader: Use single directory in search path....Lars-Dominik Braun
2022-02-01gnu: LLVM: Switch to 13 as the default....Marius Bakke
2021-12-13gnu: Simplify package inputs....Ludovic Courtès