Subject: MANPATH missing from non-default profile
From: Pierre Neidhardt <[email-masked]>
To: [email-masked]
Date: Thu, 17 Oct 2019 14:58:10 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

`man` fails to find man pages from non-default profiles.
Indeed, MANPATH is set in /etc/profile to

export MANPATH=\
$HOME/.guix-profile/share/man\
:/run/current-system/profile/share/man

I believe that each profile should set MANPATH in their own etc/profile.

Thoughts?

-- 
Pierre Neidhardt
https://ambrevar.xyz/