Remove '"' from usage text in non-Windows version of dotty

Removed both from dotty.bsh and dotty.sh which is the one that is
released as dotty.

diff --git a/cmd/dotty/dotty.bsh b/cmd/dotty/dotty.bsh
index f45da3a17c0eb7a951dbe4133527340e09ce24db..55a13f317ab06e721572fd366e966fb32e0d49ef 100755 (executable)
--- a/cmd/dotty/dotty.bsh
+++ b/cmd/dotty/dotty.bsh
@@ -4,7 +4,7 @@ FILES=""
 MLEVEL="0"
 LMODE="async"
 
-usage='echo "usage: dotty [-V] [-lm (sync|async)] [-el (0|1)] <filename>"'
+usage='echo usage: dotty [-V] [-lm (sync|async)] [-el (0|1)] <filename>'
 
 if [ "x$DOTTYOPTIONS" != "x" ]; then
     set -- $DOTTYOPTIONS $*

diff --git a/cmd/dotty/dotty.sh b/cmd/dotty/dotty.sh
index 86ed4c8b5c76aad47ed7eed56be4579875bea13a..6e334bcfb1d2f7cb0dc5827cef9c921c69359dce 100755 (executable)
--- a/cmd/dotty/dotty.sh
+++ b/cmd/dotty/dotty.sh
@@ -5,7 +5,7 @@ MLEVEL="0"
 LMODE="async"
 FLAGS=
 
-usage='echo "usage: dotty [-V] [-lm (sync|async)] [-el (0|1)] <filename>"'
+usage='echo usage: dotty [-V] [-lm (sync|async)] [-el (0|1)] <filename>'
 
 if [ "x$DOTTYOPTIONS" != "x" ]; then
     set -- $DOTTYOPTIONS $*