X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fhelm_wget.in;h=8aa0260cb8b746327c88f22ff594f805243d50c4;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=b0d29df47c5dbd28b09496ab76c32610e9029d18;hpb=274cfc6d7faa3c8bbeaac47fc48365128f01c5bb;p=helm.git diff --git a/helm/interface/helm_wget.in b/helm/interface/helm_wget.in index b0d29df47..8aa0260cb 100755 --- a/helm/interface/helm_wget.in +++ b/helm/interface/helm_wget.in @@ -1,7 +1,7 @@ #!@PERL_BINARY@ if ($#ARGV != 1) { - print STDERR "Usage: mywget prefix URL\n"; + print STDERR "Usage: helm_wget prefix URL\n"; exit -1; }