Patch originally from https://sources.debian.net/patches/erlang/1:20.0.1%2Bdfsg-2/man.patch/
by Francois-Denis Gonthier <neumann@lostwebsite.net>.

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
'>koszko</option>
<option value='koszko-scripts'>koszko-scripts</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=8213db7c951ea84597f8ac859d3ae588481ec5a2'>refs</a><a class='active' href='/guix/log/gnu/packages/freeipmi.scm'>log</a><a href='/guix/tree/gnu/packages/freeipmi.scm?id=8213db7c951ea84597f8ac859d3ae588481ec5a2'>tree</a><a href='/guix/commit/gnu/packages/freeipmi.scm?id=8213db7c951ea84597f8ac859d3ae588481ec5a2'>commit</a><a href='/guix/diff/gnu/packages/freeipmi.scm?id=8213db7c951ea84597f8ac859d3ae588481ec5a2'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/freeipmi.scm'>
<input type='hidden' name='id' value='8213db7c951ea84597f8ac859d3ae588481ec5a2'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=8213db7c951ea84597f8ac859d3ae588481ec5a2'>root</a>/<a href='/guix/log/gnu?id=8213db7c951ea84597f8ac859d3ae588481ec5a2'>gnu</a>/<a href='/guix/log/gnu/packages?id=8213db7c951ea84597f8ac859d3ae588481ec5a2'>packages</a>/<a href='/guix/log/gnu/packages/freeipmi.scm?id=8213db7c951ea84597f8ac859d3ae588481ec5a2'>freeipmi.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/freeipmi.scm?id=8213db7c951ea84597f8ac859d3ae588481ec5a2&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2019-02-04 09:39:12 +0100'>2019-02-04</span></td><td><a href='/guix/commit/gnu/packages/freeipmi.scm?id=3cfa236e5692a73e589064d4bd2776610e9bce31'>gnu: freeipmi: Update to 1.6.3.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/freeipmi.scm (freeipmi): Update to 1.6.3.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2018-05-05 13:16:32 +0200'>2018-05-05</span></td><td><a href='/guix/commit/gnu/packages/freeipmi.scm?id=91de23058eae11c1eb27b50ed0038ed0c42cf26d'>gnu: freeipmi: Update to 1.6.2.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/freeipmi.scm (freeipmi): Update to 1.6.2.
</span></span></td><td>Marius Bakke</td></tr>
<tr><td><span title='2018-02-13 23:52:39 +0100'>2018-02-13</span></td><td><a href='/guix/commit/gnu/packages/freeipmi.scm?id=4af55f7657668d9d76e6ae58101eef52b924f385'>gnu: freeipmi: Update to 1.6.1.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/freeipmi.scm (freeipmi): Update to 1.6.1.
</span></span></td><td>Marius Bakke</td></tr>
<tr><td><span title='2017-08-18 15:50:20 +0300'>2017-08-18</span></td><td><a href='/guix/commit/gnu/packages/freeipmi.scm?id=26ca43bb60e2f9b413b73b2c92623263468e9e04'>gnu: freeipmi: Update to 1.5.7.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/freeipmi.scm (freeipmi): Update to 1.5.7.
</span></span></td><td>Efraim Flashner</td></tr>
<tr><td><span title='2017-07-06 09:45:52 +0300'>2017-07-06</span></td><td><a href='/guix/commit/gnu/packages/freeipmi.scm?id=8c6acc3efec2da534523f6645bf6f41d25db8f1d'>gnu: freeipmi: Remove readline from inputs.</a><span class='msg-avail'>...<span class='msg-tooltip'>This is a follow-up to 694b7c3180bd8711843f904a4ea0ec5ad4d3f2bb.

* gnu/packages/freeimpi.scm (freeipmi)[inputs]: Really remove readline.
</span></span></td><td>Efraim Flashner</td></tr>
<tr><td><span title='2017-07-06 09:39:09 +0300'>2017-07-06</span></td><td><a href='/guix/commit/gnu/packages/freeipmi.scm?id=694b7c3180bd8711843f904a4ea0ec5ad4d3f2bb'>gnu: freeipmi: Update to 1.5.6.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/freeipmi.scm (freeipmi): Update to 1.5.6.
[inputs]: Remove readline.
</span></span></td><td>Efraim Flashner</td></tr>