diff options
Diffstat (limited to 'scripts/nix-pull.in')
-rwxr-xr-x | scripts/nix-pull.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/nix-pull.in b/scripts/nix-pull.in index fbd90c2b257d..58dd2cf27eee 100755 --- a/scripts/nix-pull.in +++ b/scripts/nix-pull.in @@ -89,7 +89,9 @@ sub processURL { while (@ARGV) { my $url = shift @ARGV; - if ($url eq "--skip-wrong-store") { + if ($url eq "--help") { + exec "man nix-pull" or die; + } elsif ($url eq "--skip-wrong-store") { # No-op, no longer supported. } else { processURL $url; |