]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/helm_wget.in
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / interface / helm_wget.in
index b0d29df47c5dbd28b09496ab76c32610e9029d18..8aa0260cb8b746327c88f22ff594f805243d50c4 100755 (executable)
@@ -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;
 }