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 ption value='koszko-scripts'>koszko-scripts Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/artwork.scm
AgeCommit message (Expand)Author
2018-11-05artwork: Clone over HTTPS....Ludovic Courtès
2017-06-07artwork: Use a descriptive name for the source directory....Leo Famulari
2015-05-07artwork: Update to latest version....Ludovic Courtès
2015-02-24artwork: Update to latest GRUB image....Ludovic Courtès
2015-02-12artwork: Update snapshot to GuixSD branding....Ludovic Courtès
2014-11-13artwork: Update snapshot....Ludovic Courtès
2014-11-12gnu: Introduce (gnu artwork) module....Ludovic Courtès