diff options
| -rwxr-xr-x | Doc/tools/push-docs.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh index 1a28cb4..0703d11 100755 --- a/Doc/tools/push-docs.sh +++ b/Doc/tools/push-docs.sh @@ -7,9 +7,6 @@ TARGET=python.sourceforge.net:/home/users/fdrake/tmp ADDRESSES='python-dev@python.org doc-sig@python.org python-list@python.org' - -set -x - EXPLANATION='' if [ "$1" = '-m' ] ; then |