From 05fb5cfdcc13fa4614739efb6078b1aaa404c9e1 Mon Sep 17 00:00:00 2001 From: CoprDistGit Date: Sat, 26 Apr 2025 14:11:13 +0000 Subject: automatic import of erlang --- ...Load-man-pages-from-system-wide-directory.patch | 25 ++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 otp-0009-Load-man-pages-from-system-wide-directory.patch (limited to 'otp-0009-Load-man-pages-from-system-wide-directory.patch') diff --git a/otp-0009-Load-man-pages-from-system-wide-directory.patch b/otp-0009-Load-man-pages-from-system-wide-directory.patch new file mode 100644 index 0000000..d68a78b --- /dev/null +++ b/otp-0009-Load-man-pages-from-system-wide-directory.patch @@ -0,0 +1,25 @@ +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 9dba684cbb..b4c5a8413f 100644 +--- a/erts/etc/common/erlexec.c ++++ b/erts/etc/common/erlexec.c +@@ -727,8 +727,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 -- cgit v1.2.3