From: Francois-Denis Gonthier Date: Thu, 20 Sep 2018 15:01:18 +0300 Subject: [PATCH] Load man-pages from system-wide directory Patch allows one to use standard man path with erl -man command. (Erlang manual pages are placed to /usr/share/man/ hierarchy as required by Debian policy.) diff --git a/erts/etc/common/erlexec.c b/erts/etc/common/erlexec.c index 793cb532b3..2368a2c97b 100644 --- a/erts/etc/common/erlexec.c +++ b/erts/etc/common/erlexec.c @@ -712,8 +712,10 @@ int main(int argc, char **argv) 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=3erl:1:5:7")); execvp("man", argv+i); error("Could not execute the 'man' command."); #endif