diff options
| -rw-r--r-- | scripts/nix-profile.sh.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/nix-profile.sh.in b/scripts/nix-profile.sh.in index f772d2f711f3..672d1f035f91 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 |