diff options
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/push-docs.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh index dfccb5b..4a71b7a 100755 --- a/Doc/tools/push-docs.sh +++ b/Doc/tools/push-docs.sh @@ -11,6 +11,7 @@ PKGTYPE="bzip" # must be one of: bzip, tar, zip ("tar" implies gzip) TARGET="$TARGETHOST:$TARGETDIR" ADDRESSES='python-dev@python.org doc-sig@python.org python-list@python.org' +ADDRESSES=fdrake01@comcast.net TOOLDIR="`dirname $0`" VERSION=`$TOOLDIR/getversioninfo` @@ -32,7 +33,7 @@ ANNOUNCE=true getopt -T >/dev/null if [ $? -eq 4 ] ; then # We have a sufficiently useful getopt(1) implementation. - set -- `getopt -ssh m:p:qt:F: "$@"` + eval "set -- `getopt -ssh m:p:qt:F: \"$@\"`" else # This version of getopt doesn't support quoting of long options # with spaces, so let's not rely on it at all. |