From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2000 17:53:54 +0000 (+0000) Subject: mywget => helm_wget X-Git-Tag: nogzip~14 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e2c8cd79f8019ce9f093a601d2410633aacae69b;p=helm.git mywget => helm_wget --- 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; }