Helper scripts used in published the "development" snapshots of the
Python documentation.
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