3
# Script to push docs from my development area to SourceForge, where the
4
# update-docs.sh script unpacks them into their final destination.
6
TARGET=python.sourceforge.net:/home/users/fdrake/tmp
8
ADDRESSES='python-dev@python.org doc-sig@python.org python-list@python.org'
12
if [ "$1" = '-m' ] ; then
16
EXPLANATION="`cat $1`"
28
make --no-print-directory || exit $?
29
make --no-print-directory bziphtml || exit $?
30
RELEASE=`grep '^RELEASE=' Makefile | sed 's|RELEASE=||'`
31
PACKAGE="html-$RELEASE.tar.bz2"
32
scp "$PACKAGE" tools/update-docs.sh $TARGET/ || exit $?
33
ssh python.sourceforge.net tmp/update-docs.sh $PACKAGE '&&' rm tmp/update-docs.sh || exit $?
35
Mail -s '[development doc updates]' $ADDRESSES <<EOF
36
The development version of the documentation has been updated:
38
http://python.sourceforge.net/devel-docs/