1
40man.diff by Francois-Denis Gonthier <neumann@lostwebsite.net>
3
Patch allows to use standard man path with erl -man command.
4
(Erlang manual pages are placed to /usr/share/man/ hierarchy
5
as required by Debian policy.)
7
--- erlang-12.b.3-dfsg.orig/erts/etc/common/erlexec.c
8
+++ erlang-12.b.3-dfsg/erts/etc/common/erlexec.c
10
error("-man not supported on Windows");
13
- sprintf(tmpStr, "%s/man", rootdir);
14
- set_env("MANPATH", tmpStr);
16
+ * Conform to erlang-manpages content.
18
+ putenv(strsave("MANSECT=3erl:1:4:6"));
19
execvp("man", argv+i);
20
error("Could not execute the 'man' command.");