From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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;
 }