diff --git a/scripts/nix-profile.sh.in b/scripts/nix-profile.sh.in index f772d2f711f3046ccb9a0bd08cdff6d07ea0d11d..672d1f035f917e3d45c554e3b1b12ffb3a46d5ae 100644 --- a/scripts/nix-profile.sh.in +++ b/scripts/nix-profile.sh.in @@ -9,7 +9,6 @@ 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