(address . bug-guix@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
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAl2oZWIACgkQm9z0l6S7
zH86LAf/c+9M2AwQxqoErrqOnuHUAz6F4yeNf1z0BMHpBM4XSYlboQID2HePf4p2
vbhdzf6z3mGczB2Wzns/yKDIk4//TclNhupdEu24UzxdL/MnlLQoR37rhW8VeQKQ
5I1afotM2Ro1HZvt0S1JNa0lbFh8aw8hTWgfeDDyxR2UFuSSn4MNU5JJkA7d3RD+
D8CU/UUEA1WqiPPir8HMVtHgtwGVrTaq0kkOZ/1n3PWBtfnSNtMJpUZTtwOvqnA6
HMSvGHNApPGtrjs2kzQsptHbRpfgupSfuvNe92tMFDQKr7vogmANRqmq0pOVeGSI
CJ72LGwMCoUY7vpSrGdHESP3NmqeYQ==
=pZZy
-----END PGP SIGNATURE-----