diff options
Diffstat (limited to 'doc/tools/push-docs.sh')
-rwxr-xr-x | doc/tools/push-docs.sh | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/doc/tools/push-docs.sh b/doc/tools/push-docs.sh deleted file mode 100755 index c227bcf..0000000 --- a/doc/tools/push-docs.sh +++ /dev/null @@ -1,42 +0,0 @@ -#! /bin/sh - -# 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 - -ADDRESSES='python-dev@python.org doc-sig@python.org python-list@python.org' - -EXPLANATION='' - -if [ "$1" = '-m' ] ; then - EXPLANATION="$2" - shift 2 -elif [ "$1" ] ; then - EXPLANATION="`cat $1`" - shift 1 -fi - -START="`pwd`" -MYDIR="`dirname $0`" -cd "$MYDIR" -MYDIR="`pwd`" - -cd .. - -# now in .../Doc/ -make --no-print-directory || exit $? -make --no-print-directory bziphtml || exit $? -RELEASE=`grep '^RELEASE=' Makefile | sed 's|RELEASE=||'` -PACKAGE="html-$RELEASE.tar.bz2" -scp "$PACKAGE" tools/update-docs.sh $TARGET/ || exit $? -ssh python.sourceforge.net tmp/update-docs.sh $PACKAGE '&&' rm tmp/update-docs.sh || exit $? - -Mail -s '[development doc updates]' $ADDRESSES <<EOF -The development version of the documentation has been updated: - - http://python.sourceforge.net/devel-docs/ - -$EXPLANATION -EOF -exit $? |