diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh
index 1a28cb48471..0703d11000c 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