diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh
new file mode 100755
index 0000000..f36438f
--- /dev/null
+++ b/Doc/tools/push-docs.sh
@@ -0,0 +1,16 @@
+#! /bin/sh
+
+#  Script to push docs from my development area to SourceForge, where the
+#  update-docs.sh script unpacks them into their final destination.
+
+START="`pwd`"
+MYDIR="`dirname $0`"
+cd "$MYDIR"
+MYDIR="`pwd`"
+HTMLDIR="${HTMLDIR:-html}"
+
+cd "../$HTMLDIR"
+make --no-print-directory || exit $?
+RELEASE=`grep '^RELEASE=' Makefile | sed 's|RELEASE=||'`
+make --no-print-directory HTMLDIR="$HTMLDIR" bziphtml
+scp "html-$RELEASE.tar.bz2" python.sourceforge.net:/home/users/fdrake/python-docs-update.tar.bz2
diff --git a/Doc/tools/update-docs.sh b/Doc/tools/update-docs.sh
new file mode 100755
index 0000000..53b6fc5
--- /dev/null
+++ b/Doc/tools/update-docs.sh
@@ -0,0 +1,27 @@
+#! /bin/sh
+
+#  Script which determines if a new development snapshot of the
+#  documentation is available, and unpacks it into the "Python @
+#  SourceForge" website.
+#
+#  A copy of this script is run periodically via cron.
+
+if [ -z "$HOME" ] ; then
+    HOME=`grep fdrake /etc/passwd | sed 's|^.*:\([^:]*\):[^:]*$|\1|'`
+    export HOME
+fi
+
+UPDATES=/home/users/fdrake/python-docs-update.tar.bz2
+
+if [ -f "$UPDATES" ] ; then
+    cd /home/groups/python/htdocs
+    rm -rf devel-docs || exit $?
+    mkdir devel-docs || exit $?
+    cd devel-docs || exit $?
+    (bzip2 -dc "$UPDATES" | tar xf -) || exit $?
+    rm "$UPDATES" || exit $?
+    Mail -s '[online doc updates]' fdrake@acm.org <<EOF
+Development version of documentation updated:
+http://python.sourceforge.net/devel-docs/
+EOF
+fi