Update the directory names to match changes at SourceForge.
diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh
index 27366b3..ae721c6 100755
--- a/Doc/tools/push-docs.sh
+++ b/Doc/tools/push-docs.sh
@@ -3,7 +3,7 @@
# Script to push docs from my development area to SourceForge, where the
# update-docs.sh script unpacks them into their final destination.
-TARGET=python.sourceforge.net:/home/users/fdrake/tmp
+TARGET=python.sourceforge.net:/home/users/f/fd/fdrake/tmp
ADDRESSES='python-dev@python.org doc-sig@python.org python-list@python.org'