diff --git a/scripts/nix-profile.sh.in b/scripts/nix-profile.sh.in index a91b54bd5..eb34fcd75 100644 --- a/scripts/nix-profile.sh.in +++ b/scripts/nix-profile.sh.in @@ -9,6 +9,7 @@ if [ -n "$HOME" ]; then fi export PATH=$NIX_LINK/bin:$NIX_LINK/sbin:$PATH + export MANPATH=$NIX_LINK/share/man:$MANPATH # Subscribe the user to the Nixpkgs channel by default. if [ ! -e $HOME/.nix-channels ]; then